Validating Formal Hardware Specifications Through Generated Behavioral Models. - Robert Kunzelmann; Zeyad Tahoun; Vinod Bangalore Ganesh; Maximilian Berger; Emil Baerens; Wolfgang Ecker (DATE, 2026)