@inproceedings {SNR2016_MarussyEtAl,
	title = {Configurable Numerical Analysis for Stochastic Systems},
	booktitle = {Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)},
	year = {2016},
	publisher = {IEEE},
	organization = {IEEE},
	isbn = {978-1-5090-3079-8},
	doi = {10.1109/SNR.2016.7479383},
	author = {Marussy, Krist{\'o}f and Klenik, Attila and Vince Moln{\'a}r and Andr{\'a}s V{\"o}r{\"o}s and Mikl{\'o}s Telek and Istv{\'a}n Majzik}
}
