A compliance notation for verifying concurrent systems. - D. M. Atiya; S. King (ICSE, 2002)