Text this: Using LOTOS in the specification of industrial bus communication protocols.