L. Roalter, M. Kranz, S. Diewald, und A. Möller. 14th International Conference on Computer Aided Systems Theory (EUROCAST 2013), Seite 306--307. (Februar 2013)
A. Möller, M. Kranz, L. Roalter, und S. Diewald. 14th International Conference on Computer Aided Systems Theory (EUROCAST 2013), Seite 325--326. (Februar 2013)