Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Jörg Bormann, Markus Wedler, Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz. A New Formal Verification Approach for Hardware-dependent Embedded System Software. IPSJ T. on System LSI Design Methodology, 6:135-145, 2013. [doi]
Abstract is missing.