_id,doi,title
4439,10.1007/3-540-46541-3_2,A classification of symbolic transition systems