Controller synthesis for an I/O-based hierarchical system architecture - Perk, Sebastian; Moor, Thomas; Schmidt, Klaus (9th International Workshop on Discrete Event Systems, WODES' 08, 2008)