Yishai A. Feldman Ohad Barzilay Shmuel S. Tyszberowicz Jose: Aspects for Design by Contract80-89. 80-89 2006 conf/sefm/2006 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.26 db/conf/sefm/sefm2006.html#FeldmanBT06