Shuhao Li, Sandie Balaguer, Alexandre David, Kim Guldstrand Larsen, Brian Nielsen, et al.. Scenario-based verification of real-time systems using \textscUppaal.
Formal Methods in System Design, Springer Verlag, 2010, 37 (2-3), pp.200-264.
⟨10.1007/s10703-010-0103-z⟩.
⟨hal-00779909⟩