DOI,IST REx ID,Title of publication
10.1145/1042038.1042039,4454,A classification of symbolic transition systems