A tool chain for generating the description files of highly available software. - Maxime Turenne; Ali Kanso; Abdelouahed Gherbi; Samer Razzook (ASE, 2014)