@article{GPCE-J-2007-JungH10,
	author        = "Georg Jung and John Hatcliff",
	doi           = "10.1016/j.scico.2009.12.008",
	journal       = "{Science of Computer Programming}",
	number        = 7,
	pages         = "615--637",
	title         = "{A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures}",
	volume        = 75,
	year          = 2010,
}