2 works on record
Techniques for Building Timing-Predictable Embedded Systems
Dependable Software Engineering. Theories, Tools, and Applications