Patrice Brémond-Grégoire Susan B. Davidson Insup Lee CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. 65-85 1992 conf/napaw/1992 NAPAW db/conf/napaw/napaw1992.html#Bremond-GregoireDL92