César Muñoz Victor Carreño Gilles Dowek Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. 306-325 2006 conf/rodin/2006 RODIN Book http://dx.doi.org/10.1007/11916246_16 db/conf/rodin/rodin2006.html#MunozCD06