Duration Calculus Specification of Scheduling for Tasks with Shared Resources (1995)

by Philip Chan, Dang Van Hung
Venue:LNCS 1023, Springer-Verlag