@article{903,
  author = {Gabor Karsai and Greg Nordstrom and Akos Ledeczi and Janos Sztipanovits},
  title = {Towards Two-Level Formal Modeling of Computer-Based Systems},
  year = {2000},
  journal = {Journal of Universal Computer Science},
  volume = {6},
  pages = {1131--1144},
  month = {November},
  language = {eng},
}