@article {3766,
	title = {Towards Two-Level Formal Modeling of Computer-Based Systems},
	journal = {Journal of Universal Computer Science},
	volume = {6},
	year = {2000},
	month = {November},
	pages = {1131--1144},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_11_0_2000_Towards_Tw.pdf},
	author = {Karsai, Gabor and Nordstrom, Greg and Ledeczi, Akos and Sztipanovits, Janos}
}
