A methodology for the design and deployment of reliable systems on heterogeneous platforms | IEEE Conference Publication | IEEE Xplore