An Approach to Verifying Security and Timing Properties in UML Models.

Vidhi Thapa, Eunjee Song, Hanil Kim

Browse the full ICECCS paper archive.