@article {12808,
	title = {A semantic theory for heterogeneous system design},
	journal = {FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science},
	year = {2000},
	month = {2000///},
	pages = {312 - 324},
	author = {Cleaveland, Rance and L\{\"u}ttgen,G.}
}
