Supervisory Coordination of Timed Communicating Processes

(20) pp. 209-218 Jasen Markovski

Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2

(29) pp. 295-304 Jasen Markovski and M. A. Reniers