Modeling and verification using UML statecharts
Drusinsky DoronKniha
Citace v seznamu literatury:
DRUSINSKY, Doron. Modeling and verification using UML statecharts: a working guide to reactive system design, runtime monitoring, and execution-based model checking. Oxford: Newnes, 2006. ISBN 9780750679497. Dostupné také z: https://proxy.k.utb.cz/login?url=http://www.sciencedirect.com/science/book/9780750679497.