Dynamic state machines for modelling railway control systems

Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini. Dynamic state machines for modelling railway control systems. Science of Computer Programming, 133:116-153, 2017. [doi]

Abstract

Abstract is missing.