The Automatic Generation of Bus-Interface Models. - Yew-Hong Leong; William P. Birmingham (DAC, 1992)