@article{Tarnick1995,
  author    = {Steffen Tarnick},
  title     = {Controllable self-checking checkers for conditional concurrent checking},
  year      = {1995},
}