Stavros Tripakis Christos Stergiou 0001 Manfred Broy Edward A. Lee Error-Completion in Interface Theories. 358-375 2013 SPIN https://doi.org/10.1007/978-3-642-39176-7_22 conf/spin/2013 db/conf/spin/spin2013.html#TripakisSBL13