Reference:
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson, "Runtime Verification of Model-based Development Environments", In 15th International Conference on Runtime Verification (RV 2015), Vienna, Austria, 2015, sep.
Bibtex Entry:
@inproceedings{nguyen2015rv,
author = {Luan Viet Nguyen and Christian Schilling and Sergiy Bogomolov and Taylor T. Johnson},
title = {Runtime Verification of Model-based Development Environments},
year = {2015},
month = sep,
Booktitle = {15th International Conference on Runtime Verification (<a href="http://rv2015.conf.tuwien.ac.at/">RV 2015</a>)},
address = {Vienna, Austria},
pdf = {http://www.taylortjohnson.com/research/nguyen2015rv.pdf},
}