M. Atzmueller. Proc. Annual Machine Learning Conference of the Benelux (Benelearn 2017), Eindhoven, The Netherlands, Eindhoven University of Technology, (2017)
Y. Han, and J. Tang. Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, page 407--416. New York, NY, USA, ACM, (2015)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
S. Balbo, D. Draheim, C. Lutteroth, and G. Weber. Proceedings of the 4th international workshop on Task models and diagrams, page 111--118. New York, NY, USA, ACM, (2005)