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