%0 Book
%A  Joël Ouaknine, Frits W. Vaandrager (eds.).
%T Formal modeling and analysis of timed systems :
%U /book/90061447/Formal-modeling-and-analysis-of-timed-systems/