Quantitative Validation for Industrial Ethernet Local Networks. - Gerard Florin; Stéphane Natkin; A. Woog; J. Attal (Protocol Specification, Testing, and Verification, 1983)