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

Martin Ouimet, Guillaume Berteau, Kristina Lundqvist

Browse the full MODELS paper archive.