Krithi Ramamritham Verification of resource controller processes. 57-67 1987 12 Inf. Syst. 1 db/journals/is/is12.html#Ramamritham87