Lei Yuan, Tao Tang, Kaicheng Li. Modelling and Verification of the System Requirement Specification of Train Control System Using SDL. In 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011. pages 81-85, IEEE, 2011. [doi]
Abstract is missing.