Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. - Martin Ouimet; Guillaume Berteau; Kristina Lundqvist (MoDELS (Workshops), 2006)