Supervisory control of timed automata. - Alexia Gouin; Laurent Libeaut; Jean-Louis Ferrier (ECC, 1999)