_id,doi,title
4454,10.1145/1042038.1042039,A classification of symbolic transition systems