Abstract Runtime Monitoring with USE | IEEE Conference Publication | IEEE Xplore