Modeling and Verification Using UML Statecharts e-bokEngelsk, 2011