Role-based Interface Automata ∗ Extended abstract