Modeling And Verification Using Uml Statecharts A Working Guide To Reactive System Design Runtime Monitoring And Executionbased Model Checking
Publisher: Newnes
Published: 2006
ISBN-13: 9780750679497