A formal approach to HW/SW co-design: the INSYDE project. - D. Sinclair; Ludo Cuypers; Kurt Verschaeve; E. Holz; Alexios N. Birbas; V. Mariatos; N. Kyrloglou; J.-L. Roux (ECBS, 1996)