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