@article {4691,
	title = {Formal Verification and Reliability in the META Toolchain  (status: review pending)},
	number = {ISIS-15-108},
	year = {2015},
	issn = {ISIS-15-108},
	author = {Koutsoukos, Xenofon and Bapty, Ted and Neema, Sandeep}
}
