DOI,IST REx ID,Title of publication
10.1007/3-540-46541-3_2,4439,A classification of symbolic transition systems