Henzinger, T. A., &; Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_21 
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

Henzinger, T. A., &; Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_11 
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11