@TechReport{ tr:LortzMantelStarostinBaehrSchneider2014, author = {Steffen Lortz and Heiko Mantel and Artem Starostin and Timo B{\"a}hr and David Schneider}, title = {{Cassandra: Towards a Certifying App Store}}, institution = {TU Darmstadt}, year = 2014, month = {May}, number = {TUD-CS-2014-0117}, pdf = {http://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/Cassandra-Tool-TR-05-2014.pdf} }