A formal method for hardware/software co-design - Stølen, Ketil; Fuchs, Max (1995)