_id,doi,title
4506,10.1007/3-540-57318-6_24,Towards refining temporal specifications into hybrid systems