_id,doi,title
4584,10.1007/s100090050007,Real-time system = discrete system + clock variables