A formal approach to HW/SW co-design: the INSYDE project | IEEE Conference Publication | IEEE Xplore