Peter Buchholz Peter Kemper Dennis Müller Mathias Stöber Axel Thümmler OPEDo: A tool for optimization and performance evaluation of stochastic models. 457-460 2006 MMB conf/mmb/2006 db/conf/mmb/mmb2006.html#BuchholzKMST06