Thorsten Gerdsmeier Rachel Cardell-Oliver Analysis of Scheduling Behaviour using Generic Timed Automata. 2001 42 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs42.html#GerdsmeierC01 http://www.elsevier.nl/locate/entcs/volume42.html