Lüttgen, G.; Vogler, W. Richer Interface Automata With Optimistic and Pessimistic Compatibility. eceasst 2014, 66.