The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems

Priority inheritance protocols: an approach to real-time synchronization

Lui Sha, R. Rajkumar, John P. Lehoczky · IEEE Transactions on Computers · 1990 · 2.2K citations

Engineering, Priority Ceiling Protocol, Computer Architecture +22

How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime

Anton Cervin, Dan Henriksson, B. Lincoln et al. · IEEE Control Systems · 2003 · 568 citations · Full text

Engineering, Software Tools, Real-time System Design +18

Guide for the use of the Ada Ravenscar Profile in high integrity systems

Alan Burns, Brian Dobbing, Tullio Vardanega · ACM SIGAda Ada Letters · 2004 · 201 citations

The Ravenscar tasking profile for high integrity real-time programs

Brian Dobbing, Alan Burns · 1998 · 117 citations

Software Maintenance, Engineering, Verification +24

Property-Preserving Reuse-Geared Approach to Model-Driven Development

Tullio Vardanega · 2006 · 10 citations

Software Maintenance, Engineering, Model Reuse +22