Intuitive formal modelling of biological systems by Maria Luisa Guerriero