An efficient verification algorithm for parallel controllers. - Krzysztof Bilinski; Erik L. Dagless; Jonathan Saul; Janusz Szajna (EURO-DAC, 1994)