Statistics for Sensing for HOV/HOT Lanes Enforcement