Schupfer, F., Kärgel, M., Grimm, C., Olbrich, M., & Barke, E. (2010). Towards Abstract Analysis Techniques for Range Based System Simulations. In Proceedings of the 2010 Forum on specification & Design Languages (pp. 159–164). http://hdl.handle.net/20.500.12708/71680