_id,doi,title
4505,10.1109/LICS.1992.185551,Symbolic model checking for real-time systems