Rajeev Alur Radu Grosu Modular Refinement of Hierarchic Reactive Machines. 390-402 2000 conf/popl/2000 POPL http://doi.acm.org/10.1145/325694.325746 db/conf/popl/popl2000.html#AlurG00