Marie-Agnès Peraldi-Frati, Arda Goknil, Morayo Adedjouma, Pierre-Yves Gueguen. Modeling a BSG-E Automotive System with the Timing Augmented Description language..
ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, TU Dortmund - EASST, Oct 2012, Amirandes, Héraklion, Greece. pp.111-125,
⟨10.1007/978-3-642-34032-1_14⟩.
⟨hal-00757185⟩