A 1978 paper by PerBrinchHansen? that describes "a systematic method for testing monitor modules which control process interactions in concurrent programs."
It was originally published as Reproducible Testing of Monitors, P. Brinch Hansen, Software -- Practice and Experience, 8:6, 721-729, 1978.
It has been republished in TheSearchForSimplicity.