Drusinsky, D. (2006). Modeling and verification using UML statecharts: A working guide to reactive system design, runtime monitoring, and execution-based model checking (1st edition.). Newnes.
Chicago Style (17th ed.) CitationDrusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. 1st edition. Burlington, MA: Newnes, 2006.
MLA (9th ed.) CitationDrusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. 1st edition. Newnes, 2006.
Warning: These citations may not always be 100% accurate.
