The MIO Workbench for verification of modal I/O automata.