Preda, et al.. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. 10 July 2014.