Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. - Yves Boussemart; Sébastien Gorelov; Martin Ouimet; Kristina Lundqvist (ICN/ICONS/MCL, 2006)

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

The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. - Martin Ouimet; Kristina Lundqvist (APSEC, 2007)

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. - Martin Ouimet; Kristina Lundqvist (CAV, 2007)

Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. - Martin Ouimet; Kristina Lundqvist (MiSE@ICSE, 2007)

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. - Martin Ouimet; Kristina Lundqvist (MBT, 2007)

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. - Martin Ouimet; Kristina Lundqvist (J. Univers. Comput. Sci., 2008)