Véronique Bruyère, Jean-François Raskin. Real-Time Model-Checking: Parameters everywhere. Logical Methods in Computer Science, 3(1), 2007. [doi]
@article{BruyereR07, title = {Real-Time Model-Checking: Parameters everywhere}, author = {Véronique Bruyère and Jean-François Raskin}, year = {2007}, doi = {10.2168/LMCS-3(1:7)2007}, url = {http://dx.doi.org/10.2168/LMCS-3(1:7)2007}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BruyereR07}, cites = {0}, citedby = {0}, journal = {Logical Methods in Computer Science}, volume = {3}, number = {1}, }