Runtime Verification for Ultra-Critical Systems. - Lee Pike; Sebastian Niller; Nis Wegmann (RV, 2011)

Experience report: a do-it-yourself high-assurance compiler. - Lee Pike; Nis Wegmann; Sebastian Niller; Alwyn Goodloe (ICFP, 2012)

Copilot: monitoring embedded systems. - Lee Pike; Nis Wegmann; Sebastian Niller; Alwyn Goodloe (Innov. Syst. Softw. Eng., 2013)