H. Holzmann, V. Goel, and A. Anand. Proceedings of the 16th ACM/IEEE-CS on Joint Conference on Digital Libraries, page 83--92. New York, NY, USA, ACM, (2016)
Please include the acknowledgement in publications for those who are funded by our Cluster of Excellence:
Funded by Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy - EXC 2075 - 390740016