@inproceedings{FGM+92,
title = {A Toolbox for the Verification of {LOTOS} Programs },
author = {Fernandez, Jean-Claude and Garavel, Hubert and Mounier, Laurent and Rasse, Anne and Rodr\'{\i}guez, Carlos and Sifakis, Joseph},
month = {May},
year = {1992},
booktitle = {Proceedings of the 14th International Conference on Software Engineering ICSE{'14} (Melbourne, Australia)},
pages = {246-259},
publisher = {ACM},
team = {DCS,PACSS},
}
