Design methods for reactive systems: yourdon, statemate and the UML - Wieringa, R. J (Morgan Kaufmann, 2003)