Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.
LibreCat: https://research-explorer.ista.ac.at/record/4477
DOI: 10.1007/3-540-45351-2_24