Translating FSP into LOTOS and networks of automata
scientific article; zbMATH DE number 5827626
scientific article