Parallel controller synthesis from a Petri net specification. - Krzysztof Bilinski; Erik L. Dagless; Jonathan M. Saul; Marian Adamski (EURO-DAC, 1994)

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

High Level Synthesis of Synchronous Parallel Controllers. - Krzysztof Bilinski; Erik L. Dagless (Application and Theory of Petri Nets, 1996)

Synchronous parallel controller synthesis from behavioural multiple-process VHDL description. - Krzysztof Bilinski; Erik L. Dagless; Jaroslaw Mirkowski (EURO-DAC, 1996)

Behavioral Synthesis of Complex Parallel Controllers. - Krzysztof Bilinski; Erik L. Dagless; Jonathan M. Saul (VLSI Design, 1996)

Efficient Approach to Symbolic State Exploration of Complex Parallel Controllers. - Krzysztof Bilinski; Erik L. Dagless (ACSD, 1998)