Exploiting Program And Property Structure For Efficient Runtime Monitoring