@article{Moorsel06,
  title = {Analysis of Restart Mechanisms in Software Systems},
  author = {Aad P.~A.~van~Moorsel and Katinka Wolter},
  journal = {IEEE Transactions on Software Engineering},
  year = {2006},
  month = {August},
  number = {8},
  pages = {547-558},
  volume = {32},
  owner = {katinka},
  timestamp = {2010.06.01},
}