<i>This article was written by Natalie Klaus, with contributions from Juan Conejero, both formal verification engineers at Runtime Verification.</i>...
