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