Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi. Model checking fault tolerant systems. Softw. Test., Verif. Reliab., 12(4):251-275, 2002. [doi]
@article{BernardeschiFG02,
title = {Model checking fault tolerant systems},
author = {Cinzia Bernardeschi and Alessandro Fantechi and Stefania Gnesi},
year = {2002},
doi = {10.1002/stvr.258},
url = {http://dx.doi.org/10.1002/stvr.258},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BernardeschiFG02},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {12},
number = {4},
pages = {251-275},
}