@inproceedings{RJR06,
title = { Describing and executing random reactive systems },
author = {Raymond, Pascal and Jahier, Erwan and Roux, Yvan},
month = {sep},
year = {2006},
booktitle = {SEFM 2006, 4th IEEE International Conference on Software Engineering and Formal Methods},
address = {Pune, India},
team = {SYNC},
}
