Models to calculate safety and reliability parameters for embedded systems | IEEE Conference Publication | IEEE Xplore