Alan Burns, Bev Littlewood. Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. In Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010. pages 73-81, IEEE Computer Society, 2010. [doi]
Abstract is missing.