Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification | Publicación