@techreport{publication-3258, author={Schmid, Reto and Ryser, Johannes and Berner, Stefan and Glinz, Martin}, number={IFI-2011.0006}, title={A Survey of Simulation Tools for Requirements Engineering}, version=1, year=2000, }