Modal Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach combines the advantages of both modal automata and interface automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench that is the first complete implementation of the MIO theory.
['Sebastian S. Bauer', 'Philip Mayer', 'Axel Legay']
MIO workbench: a tool for compositional design with modal input/output interfaces