@ARTICLE{Jezequel01b,
  author = {J\'ez\'equel, Jean-Marc and Deveaux, Daniel and Le~Traon, Yves},
  title = {Reliable Objects: a Lightweight Approach Applied to {J}ava},
  journal = {IEEE Software},
  year = {2001},
  volume = {18},
  pages = {76--83},
  number = {4},
  month = {July/August}
}