Guided synthesis of control programs using UPPAAL (2000)

by Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
Venue:In ICDCS Workshop on Distributed System Validation and Verification