Return to Article Details Planning with Critical Section Macros: Theory and Practice Download Download PDF