Coconut: Typestates for Embedded Systems. - Arwa Hameed Alsubhi; Ornela Dardha (COORDINATION, 2024)