Formalization and Automated reasoning about a Complex Signalling Network. - Annamaria Basile; Maria Rosa Felice; Alessandro Provetti (CILC, 2011)