A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.

Nicolas Guelfi, Amel Mammar

Browse the full APSEC paper archive.