TY - BOOK AU - Samek,Miro TI - Practical UML statecharts in C/C++: event-driven programming for embedded systems SN - 9780750687065 (pbk.) U1 - 005.117 PY - 2009/// CY - Amsterdam, Boston PB - Elsevier/Newnes 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 -