A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs. - Subhashini Balakrishnan; Sofiène Tahar (Great Lakes Symposium on VLSI, 1999)