Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.”https://doi.org/10.1007/BFb0054181__In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1384:330–44. Springer, 1998.https://doi.org/10.1007/BFb0054181 .
LibreCat: https://research-explorer.ista.ac.at/record/4606
DOI: 10.1007/BFb0054181