Linked Presentation: A Friend's Eye is A Good Mirror: Synthesizing MCU Peripheral Models from Peripheral Drivers
