A STATIC ANALYSIS APPROACH FOR FORMAL VERIFICATION OF SYSTEMC DESIGNS Шифр журнала: Ж24450/2013/5 Файл:  recs_2013_5_39.pdf - 0 Дод. точки доступу: Moiseev, M.; Richter, H.