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