Linked Presentation: PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-Metal Embedded Applications