Formal Verification of SystemC Designs using the BLAST Software Model Checker. - Paula Herber; Bettina Hünnemeyer (ACES-MB@MoDELS, 2014)