_id,doi,title
4503,10.1006/inco.1994.1045,Symbolic model checking for real-time systems