Translating FSP into LOTOS and networks of automata - Lang,F; Salauen,G; Herilier,R; Kramer,J; Magee,J (FORMAL ASPECTS OF COMPUTING, 2010)