High-level overview of our activity at Runtime Verification, Inc. - View it on GitHub