Martin Ouimet, Guillaume Berteau, Kristina Lundqvist. Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. In Thomas Kühne, editor, Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Volume 4364 of Lecture Notes in Computer Science, pages 32-41, Springer, 2006. [doi]