Bengt Svantesson, Shashi Kumar, Ahmed Hemani: A Methodology and Algorithms for Efficient Interprocess Communication Synthesis from System Description in SDL. VLSI Design 1998: 78-84