Modeling And Verification Using Uml Statecharts by Doron Drusinsky