Queen ’ s School of Computing Technical Report Timed Automata to Synthesize Controllers of Dynamic Hierarchical Real-Time Plants Md