A formal specification model for hardware/software codesign (1993)

by M Chiodo, P Giusto, H Hsieh, A Jurecska, L Lavagno, A Sangiovanni-Vincentelli