Quentin Enard. Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception. (Development of dependable applications: a design-driven approach). PhD thesis, University of Bordeaux, France, 2013. [doi]
Abstract is missing.