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