Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi. Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. Comput. Syst. Sci. Eng., 16(4):249-261, 2001.
@article{BondavalliNSM01,
title = {Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking},
author = {Andrea Bondavalli and Manuela Nelli and Luca Simoncini and Giorgio Mongardi},
year = {2001},
tags = {control systems, analysis},
researchr = {https://researchr.org/publication/BondavalliNSM01},
cites = {0},
citedby = {0},
journal = {Comput. Syst. Sci. Eng.},
volume = {16},
number = {4},
pages = {249-261},
}