Modularity for teams of I/O automata

Abstract
No abstract available