Generation of Formal CPU Profiles for Embedded Systems. - Stian Gerlach Sørensen; Christian Bartsch 001; Dominik Stoffel; Wolfgang Kunz (VLSI-SoC, 2022)