Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett. Automatic Generation of Description Files for Highly Available Services. In István Majzik, Marco Vieira, editors, Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings. Volume 8785 of Lecture Notes in Computer Science, pages 40-54, Springer, 2014. [doi]