Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code. - Paul Muntean 001; Adnan Rabbi; Andreas Ibing; Claudia Eckert 001 (QRS Companion, 2015)