G. Lüttgen and W. Vogler, “Richer Interface Automata with Optimistic and Pessimistic Compatibility”, ECEASST, vol. 66, Feb. 2014.