Verification of Automatic Train Protection Systems with RTCP-Nets

@inproceedings{Szpyrka2006VerificationOA,
  title={Verification of Automatic Train Protection Systems with RTCP-Nets},
  author={Marcin Szpyrka and Tomasz Szmuc},
  booktitle={SAFECOMP},
  year={2006}
}