Design methods for reactive systems : Yourdan, Statemate, and the UML /
Wieringa, Roel J.
Amsterdam ; London : Morgan Kaufmann,
c2003.
Includes bibliographical references and index.
Computer software
System design.