Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang, Haifeng Wang, Yongcheng Xu. Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 136-143, IEEE, 2011. [doi]
Abstract is missing.