VERA: A Flexible Model-Based Vulnerability Testing Tool. - Abian Blome; Martín Ochoa; Keqin Li 002; Michele Peroli; Mohammad Torabi Dashti (ICST, 2013)