ON SYNCHRONIZATION IN HARD-REAL-TIME SYSTEMS. - Faulk, Stuart R.; Parnas, David L. (Communications of the ACM, 1988)