Modal interfaces: unifying interface automata and modal specifications