Quantitative Validation for Industrial Ethernet Local Networks