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