Modeling a BSG-E Automotive System with the Timing Augmented Description Language. - Marie-Agnès Peraldi-Frati; Arda Goknil; Morayo Adedjouma; Pierre Yves Gueguen (ISoLA (2), 2012)