Translating FSP into LOTOS and networks of automata. - Frédéric Lang; Gwen Salaün; Rémi Hérilier; Jeff Kramer; Jeff Magee (Formal Aspects Comput., 2010)