Daniel Santamaría, Francisco Alarcón, Antonio Jiménez, Antidio Viguria, Manuel Bejar, Aníbal Ollero. Model-Based Design, Development and Validation for UAS Critical Software. Journal of Intelligent and Robotic Systems, 65(1-4):103-114, 2012. [doi]
Abstract is missing.