Adriano Valenzano Riccardo Sisto Luigi Ciminiera Rapid Prototyping of Protocols from LOTOS Specifications. 31-54 1993 23 Softw., Pract. Exper. 1 db/journals/spe/spe23.html#ValenzanoSC93