COSAFE:efficient safety-critical portable system design approach | IEEE Conference Publication | IEEE Xplore