SAFE-CRITES: Developing safety-critical embedded systems supported by reuse techniques | IEEE Conference Publication | IEEE Xplore