Synthesis of hierarchical procedural controllers. - Ross Baird; Maria Celeste Colantonio; Sandro Macchietto (CDC, 2000)