Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky. Compositional Refinement for Hierarchical Hybrid Systems. In Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Volume 2034 of Lecture Notes in Computer Science, pages 33-48, Springer, 2001. [doi]
Abstract is missing.