@articleDam2001, 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} @COMMENTBibtex file generated on