@InProceedings{modelcontracts,
  author =   {Bernd Schoeller},
  title =	 {Strengthening Eiffel Contracts using Models},
  OPTcrossref =  {},
  OPTkey =     {},
  booktitle =	 {Proceeding of the Workshop on Formal Aspects of Component Software FACS'03},
  pages =  {143-158},
  year =	 {2003},
  editor =     {Hung Dang Van and Zhiming Liu},
  OPTvolume =	 {},
  number =	 {284},
  series =	 {UNU/IIST Report},
  OPTaddress =	 {},
  month =    {September},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =    {},
  OPTannote =	 {}
}