Formal specifications and proofs of inheritance protocols for real-time scheduling

Implementing analysable hard real-time sporadic tasks in Ada 9X

ACM SIGAda Ada Letters

A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems

Real-Time Systems

Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

Testing for the Conformance of Real-time Protocols Implemented by Operating Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Formal analysis of the priority ceiling protocol

RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages