Authors: Heitmeyer, C

Citation: C. Heitmeyer, Using SCR to specify requirements of the BART Advanced Automated Train Control system, KLUW ENGN C, 577, 2001, pp. 137-168

Authors: Brockmeyer, M Jahanian, F Heitmeyer, C Winner, E

Citation: M. Brockmeyer et al., A flexible, extensible simulation environment for testing real-time specifications, IEEE COMPUT, 49(11), 2000, pp. 1184-1201