_id,doi,title
4495,10.1007/3-540-61604-7_73,A space-efficient on-the-fly algorithm for real-time model checking