Henzinger, T. A., Minea, M., &; Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer.https://doi.org/10.1007/3-540-45351-2_24