Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu. High-confidence operating systems. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 205-208, ACM, 2002. [doi]
Abstract is missing.