Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes. - Abibatou Mbodj; Eleanor Hilary Gustafson; Lucia Ciglar; Guillaume Junion; Aitor González; Charles Girardot; Laurent Perrin; Eileen E. M. Furlong; Denis Thieffry (PLoS Comput. Biol., 2016)