Fernando Brizzolari Igor Melatti Enrico Tronci Giuseppe Della Penna Disk Based Software Verification via Bounded Model Checking. 358-365 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.43 db/conf/apsec/apsec2007.html#BrizzolariMTP07