BibTex format
@article{Lang:2010:10.1007/s00165-009-0133-8,
author = {Lang, F and Salauen, G and Herilier, R and Kramer, J and Magee, J},
doi = {10.1007/s00165-009-0133-8},
journal = {FORMAL ASPECTS OF COMPUTING},
pages = {681--711},
title = {Translating FSP into LOTOS and networks of automata},
url = {http://dx.doi.org/10.1007/s00165-009-0133-8},
volume = {22},
year = {2010}
}