Static Analysis Tools for Soft-Core Reviews and Audits. - Serafín Olcoz; Ana Castellvi; Maria Garcia; Jose Angel Gomez (DATE, 1998)