Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.

Martin Ouimet Guillaume Berteau Kristina Lundqvist Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. 32-41 2006 conf/models/2006w MoDELS Workshops http://dx.doi.org/10.1007/978-3-540-69489-2_5 db/conf/models/models2006w.html#OuimetBL06