Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso. Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. IEEE Trans. on CAD of Integrated Circuits and Systems, 36(3):475-488, 2017. [doi]
Abstract is missing.