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 and
               Ajinkya Bhave and
               Sarah M. Loos and
               Bruce H. Krogh and
               Andr{\'e} Platzer and
               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},
}```