[LCTES'23] (WIP) Towards Automated Identification of Layering Violations in Embedded Applications | ACM SIGPLAN | Podwise