R. Pytlak, D. Suski, T. Tarnawski, and T. Zawadzki. Modelica, volume 132 of Linköping Electronic Conference Proceedings, page 132:028. Linköping University Electronic Press, (2017)
E. Zawadzki, G. Gordon, and A. Platzer. Proceedings of the 14th International Conference on
Artificial Intelligence and Statistics (AISTATS), 15, page 855-863. (2011)