The impact of software timing correctness on systems safetyMõtus, Leo; Rodd, Michael G.; Neill, C.Preprints IFCA 2nd Workshop on Safety and Reliability on Emerging Control Technology, 19951995 / p. 193-203 https://www.sciencedirect.com/science/article/pii/S1474667017448324