ITL Monitor: compositional runtime analysis with Interval Temporal Logic. - David Smallwood (2019)