Johannes Kinder Stefan Katzenbeisser Christian Schallhart Helmut Veith Detecting Malicious Code by Model Checking. 174-187 2005 conf/dimva/2005 DIMVA http://dx.doi.org/10.1007/11506881_11 db/conf/dimva/dimva2005.html#KinderKSV05