_id,doi,title
4632,10.1007/3-540-44685-0_24,Compositional methods for probabilistic systems
4633,10.1007/3-540-44685-0_36,Symbolic algorithms for infinite-state games
4634,10.1007/3-540-44685-0_38,"The control of synchronous systems, Part II"