Design methods for reactive systems Yourdon, Statemate, and the UML - Wieringa, Roel J. (Kaufmann, 2003)