R. Sangi, P. Jahangiri, F. Klasing, R. Streblow, and D. Müller. Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden, Linköping University Electronic Press, (March 2014)
R. Klasing, and T. Mömke. Adventures Between Lower Bounds and Higher Altitudes, volume 11011 of Lecture Notes in Computer Science, page 393-408. Springer, (2018)