Barbara J. Czerny, Joseph G. D'Ambrosio, Brian T. Murray. Providing convincing evidence of safety in X-by-wire automotive systems. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 189-192, IEEE Computer Society, 2000. [doi]
Abstract is missing.