Doron Drusinsky

• Modeling And Verification Using Uml Statecharts A Working Guide To Reactive System Design Runtime Monitoring And Executionbased Model Checking
• Modeling and Verification Using UML Statecharts
• On synchronized statecharts
• Verification and Validation for Safety Critical Software