APA (7th ed.) Citation

Drusinsky, D. (2006). Modeling and verification using UML statecharts: A working guide to reactive system design, runtime monitoring, and execution-based model checking. Elsevier.

Chicago Style (17th ed.) Citation

Drusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. Amsterdam u. a: Elsevier, 2006.

MLA (9th ed.) Citation

Drusinsky, Doron. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring, and Execution-based Model Checking. Elsevier, 2006.