Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings - Fages, François; Piazza, Carla (Springer International Publishing : Imprint: Springer, 2014)