Formal Methods in Macro-Biology - Fages (Springer International Publishing, 2014)