Antoine Beugnard Jean-Marc Jézéquel Noël Plouzeau Making Components Contract Aware. 38-45 1999 32 IEEE Computer 7 db/journals/computer/computer32.html#BeugnardJP99 http://doi.ieeecomputersociety.org/10.1109/2.774917