The formal specification of the fieldbus foundation link scheduler in E-LOTOS | IEEE Conference Publication | IEEE Xplore