Practical UML statecharts in C/C++ : event-driven programming for embedded systems - Samek, Miro. (Boca Raton, FL : CRC Press, 2018)
Previous ed.: Lawrence, Kan. : CMP Books, c2002.
Includes bibliographical references (p. [693]-697) and index.
Keywords: System design; Computer software -- Development; Formal methods (Computer science); Statecharts (Computer science); UML (Computer science); Object-oriented programming (Computer science)