Using parameters in architectural views to support heterogeneous design and verification

@inproceedings{DBLP:conf/cdc/RajhansBLKPG11,
	pdf = {pub/heterogeneous-views.pdf},
	ref = {DBLP:journals/tac/RajhansBRKGPS14},
	refname = {TAC'14},
	author = {['Akshay Rajhans', 'Ajinkya Bhave', 'Sarah M. Loos', 'Bruce H. Krogh', 'André Platzer', 'David Garlan']},
	title = {Using parameters in architectural views to
               support heterogeneous design and
               verification},
	booktitle = {CDC},
	longbooktitle = {50th IEEE Conference on Decision and
               Control and European Control Conference},
	year = {2011},
	pages = {2705-2710},
	doi = {10.1109/CDC.2011.6161408},
	isbn = {978-1-61284-800-6}
}