Posted on June 8, 2019June 18, 2019 by pastankaitisICECCS19: Modelling Hybrid Railway Signalling Systems using Proof and Refinement Hybrid Event-B Signalling ModelDownload