A LOTOS Specification of the SERCOS Field-bus Protocol