@Article{Langmaack96a,
  Author        = {Langmaack, H.},
  Title         = {{The ProCoS Approach to Correct Systems}},
  Journal       = {Real Time Systems},
  Volume        = {13},
  Pages         = {253-275},
  Publisher     = {Kluwer Academic Publishers},
  Year          = 1997
}