Viviana Mascardi Daniela Briola Maurizio Martelli Riccardo Caccia Carlo Milani Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. 108-115 2008 CISIS http://dx.doi.org/10.1007/978-3-540-88181-0_14 conf/cisis-spain/2008 db/conf/cisis-spain/cisis2008.html#MascardiBMCM08