Guided synthesis of control programs using uppaal (2000)

by T Hune, K G Larsen, P Pettersson
Venue:In Proc. IEEE ICDS International Workshop on Distributes Systems Verification and Validation