R.Hansen, Ander P.Ravn and Hans Rischel, "Duration Specifications for Shared Processors (1992)

by Zhou Chao Chen, Michael
Venue:In Proc. of the Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems