@conference {274,
	title = {The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014},
	year = {2014},
	doi = {10.1007/978-3-642-54862-8_51},
	url = {http://dx.doi.org/10.1007/978-3-642-54862-8_51},
	author = {Arnd Hartmanns and Holger Hermanns}
}