Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco  Service composition for collective adaptive systems.   In:  Software, Services, and Systems.   Lecture Notes in Computer Science  (8950).  Springer, pp. 490-505.  ISBN 978-3-319-15545-6      (2015)