Design methods for reactive systems : Yourdan, Statemate, and the UML - Wieringa, Roel. (Boston : Morgan Kaufmann Publishers, 2003)
Includes bibliographical references and index.
Keywords: Computer software; System design