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