%0 Book
%A  David N. Jansen, Pavithra Prabhakar (eds.).
%T Formal modeling and analysis of timed systems :
%U /book/90226057/Formal-modeling-and-analysis-of-timed-systems/