Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

অনুযায়ী Drusinsky, Doron.
প্রকাশিত 2006