Leveraging the Pico PIO API for Generalized Descriptions of State Machine-Based Interfaces April 4, 2024 Master’s Thesis Contact Bause, Oliver Bringmann, Oliver
