Modeling and verification using UML statecharts : - Drusinsky, Doron (Newnes, 2006)