Antonio Cerone, Norzima Elbegbayan. Model-checking Driven Design of Interactive Systems. Electronic Notes in Theoretical Computer Science, 183:3-20, 2007. [doi]
@article{CeroneE07, title = {Model-checking Driven Design of Interactive Systems}, author = {Antonio Cerone and Norzima Elbegbayan}, year = {2007}, doi = {10.1016/j.entcs.2007.01.058}, url = {http://dx.doi.org/10.1016/j.entcs.2007.01.058}, tags = {model checking, meta-model, Meta-Environment, design}, researchr = {https://researchr.org/publication/CeroneE07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {183}, pages = {3-20}, }