Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking - Drusinsky, Doron (Newnes, 2006)
Keywords: UML (Modelovací jazyk); modelovací jazyky; software; elektronické knihy