Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2

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