Dima - Formal Modeling and Analysis of Timed Systems 19th Internatio - X555z

Pettersson - Formal Modeling and Analysis of Timed Systems Third Int - X555z

Jurdzinski - Formal Modeling and Analysis of Timed Systems 10th Inte - X555z

Fahrenberg - Formal Modeling and Analysis of Timed Systems 9th Inter - X555z

Braberman - Formal Modeling and Analysis of Timed Systems 11th Inter - X555z

Sankaranarayanan - Formal Modeling and Analysis of Timed Systems 13t - X555z

Ouaknine - Formal Modeling and Analysis of Timed Systems 7th Internat - X555z

Andr - Formal Modeling and Analysis of Timed Systems 17th Internati - X555z