An approach to mixed systems co-synthesis | IEEE Conference Publication | IEEE Xplore