Title: Modeling and Verification Using UML Statecharts
Subjects: Uml (computer science)