@article{Dam2001,
Author = {Damm, W. and Klose, J.},
Title = {Verification of a Radio-based Signaling System Using the Statemate Verification Environment},

Year = {2001},
Month = {01},
type = {article}
}
@COMMENT{Bibtex file generated on }