The DESIRE methodology for Early Pre-Verification of Digital System Architectures via Estimation and Back-Annotation. - Christian Seifert; Christian Steger; Tiberio Fanti (MODELS-C, 2025)