Formalization and Verification of the Powerlink Protocol Using CSP | IEEE Conference Publication | IEEE Xplore