Task Synchronization in Distributed Real Time Control Systems. - Marc Courvoisier; Robert Valette; J. Golinski; Hamid Demmou (RTSS, 1981)