_id,doi,title
3859,10.1007/978-3-642-15297-9,Formal modeling and analysis of timed systems