%O Book 
%F Formats08
%A Cassez, Franck
%A Jard, Claude
%T The 6th International Conference on Formal Modelling and Analysis 	of Timed Systems, FORMATS 2008
%I Springer-Verlag, LNCS 5215
%D 2008