Modeling reactive systems with statecharts : the statemate approach - Harel, David; Politi, Michal (New York: McGraw-Hill, 1998)
Includes bibliographical references and index
Keywords: Statecharts (Computer science); Computer software -- -- Development; System design