Andrea Bonacchi. Formal safety proof: a real case study in a railway interlocking system. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 378-381, ACM, 2013. [doi]
Abstract is missing.