Henzinger, T. A., Kupferman, O., &; Rajamani, S. (1997). Fair simulation. In Proceedings of the 8th International Conference on Concurrency Theory (Vol. 1243, pp. 273–287). Warsaw, Poland: Springer.https://doi.org/10.1007/3-540-63141-0_19