José F. Ruiz, Cyrille Comar, Yannick Moy. Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. In Mats Brorsson, Luís Miguel Pinho, editors, Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings. Volume 7308 of Lecture Notes in Computer Science, pages 49-59, Springer, 2012.