Sérgio Vale Aguiar Campos Edmund M. Clarke Marius Minea Symbolic Techniques for Formally Verifying Industrial Systems. 79-98 1997 29 Sci. Comput. Program. 1-2 db/journals/scp/scp29.html#CamposCM97