Federico De Meo, Marco Rocchetto, Luca Viganò: Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection. STM 2016: 179-195