Edmund M. Clarke, Flavio Lerda. Model Checking: Software and Beyond. J. UCS, 13(5):639-649, 2007. [doi]
@article{ClarkeL07,
title = {Model Checking: Software and Beyond},
author = {Edmund M. Clarke and Flavio Lerda},
year = {2007},
url = {http://www.jucs.org/jucs_13_5/model_checking_software_and},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/ClarkeL07},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {13},
number = {5},
pages = {639-649},
}