DOI,IST REx ID,Title of publication
10.1109/REAL.1993.393520 ,4616,Automatic symbolic verification of embedded systems
10.1007/3-540-57318-6_30,4618,Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
10.1145/167088.167242,4619,Parametric real-time reasoning
10.1007/3-540-56922-7_16,4620,Computing accumulated delays in real-time systems