The SAVE approach to component-based development of vehicular systems

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.4K citations

Engineering, Formal Methods, Automaton Network +4

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations

Educational Entertainment, Mashup (Music), Communication

The Koala component model for consumer electronics software

Rob van Ommering, Frank van der Linden, Jeff Kramer et al. · Computer · 2000 · 705 citations

Software Maintenance, Engineering, Industrial Engineering +22

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 580 citations

Verification Tool, Real-time System, Engineering +11