Reducing the Cost of Path Property Monitoring Through Sampling | IEEE Conference Publication | IEEE Xplore