An Approach to Verifying Security and Timing Properties in UML Models. - Vidhi Thapa; Eunjee Song; Hanil Kim (ICECCS, 2010)