_id,doi,title
4590,10.1142/9789812831583_0001,Real-time system = discrete system + clock variables