Design methods for reactive systems Yourdan, Statemate, and the UML - Wieringa, Roel. (Morgan Kaufmann Publishers, 2003)