Stéphane Paul, Alessandra Tedeschi, Erlend Andreas Gjære, Ivonne Herrera. The Aniketos Design-Time Framework Applied - A Case in Air Traffic Management. In Achim D. Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios, editors, Secure and Trustworthy Service Composition - The Aniketos Approach. Volume 8900 of Lecture Notes in Computer Science, pages 203-218, Springer, 2014. [doi]
Abstract is missing.