Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits. Towards Two-Level Formal Modeling of Computer-Based Systems. J. UCS, 6(11):1131-1144, 2000. [doi]
@article{KarsaiNLS00,
title = {Towards Two-Level Formal Modeling of Computer-Based Systems},
author = {Gabor Karsai and Greg Nordstrom and Ákos Lédeczi and Janos Sztipanovits},
year = {2000},
url = {http://www.jucs.org/jucs_6_11/towards_two_level_formal},
tags = {rule-based, modeling},
researchr = {https://researchr.org/publication/KarsaiNLS00},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {6},
number = {11},
pages = {1131-1144},
}