Disk Based Software Verification via Bounded Model Checking. - Fernando Brizzolari; Igor Melatti; Enrico Tronci; Giuseppe Della Penna (APSEC, 2007)