Integration of Formal Verification and Debugging Methods in P-GRADE Environment. - Róbert Lovas; Bertalan Vécsei (DAPSYS, 2004)