Sofiène Tahar Ramayya Kumar Towards a Methodology for the Formal Hierarchical Verification. 58-62 1993 ICCD db/conf/iccd/iccd1993.html#TaharK93