Drawing Preconditions of Operation Contracts from Conceptual Schemas. - Costal, Dolors; Gómez, Cristina; Queralt, Anna; Teniente, Ernest (2008)