P Jr: Proving real-time properties of programs with temporal logic (1981)

by A Bernstein, Hatter
Venue:Proc 8th Syrup on Operating System Principles. Operating Syst Rev 15