![](https://4.bp.blogspot.com/-54Q79f9UoHk/XOut2M46JgI/AAAAAAAAi-k/5obvOcioiFIId5W7PzLkl9wrED6CKUY9QCK4BGAYYCw/s640/HUYS%2BController%2BFSM%2BREV1-FSM.png)
Huys decided to Open Source it control diagrams and implementation in order to assist clients in creating sustainable solutions. Main benefits of this approach include:
- Controls can easily be scrutinised for design flaws.
- Modifications and the impact thereof is simpler to make and understand.
- The control model is externally verified to work correctly using symbolic model checking.
- Solutions are more sustainable since the client is not locked into the controls vendor anymore.