Using LOTOS in the specification of industrial bus communication protocols. - Mariño, Perfecto; Domínguez, Miguel Ángel; Poza, Francisco; Vázquez, Fernando (Computer Networks, 2004)