Runtime monitoring of metric first-order temporal propertiesDavid BasinFelix Klaedtkeet al.2008FSTTCS 2008