A POP⋆ is Born: Formal Predictable Out-of-Order Processor Model. - Lilia Rouizi; Mihail Asavoae; Benjamin Binder 001; Engin Ermis; Lionel Rieg; Florian Brandner (RTAS, 2026)