Robi Malik Reinhard Mühlfeld A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. 138-151 2003 9 J. UCS 2 http://www.jucs.org/jucs_9_2/a_case_study_in db/journals/jucs/jucs9.html#MalikM03