Jean-Pierre Rosen. Use of object oriented technologies in high reliability system. In Alok Srivastava, Jeff Boleng, editors, Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. pages 3-4, ACM, 2010. [doi]
Abstract is missing.