@techreport{Twamm2000b,
  author = {Ta\"{\i}ani, Fran\c{c}ois and Paludetto, Mario and Cros, Thierry},
  title = {Model Checking And Object Orientation: A Tool Overview},
  year = {2000},
  type = {Rapport LAAS },
  number = {No00379 Contrat de Recherche LAAS-Twam Informatique N° 413/99},
  address = {Toulouse (F)},
  month = {September},
  numpages = {30}
}