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