Henning Dierks Comparing model checking and logical reasoning for real-time systems. 104-120 2004 16 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-004-0034-9 db/journals/fac/fac16.html#Dierks04