Guo Xie, Xinhong Hei, Sei Takahashi, Hideo Nakamura. A Strategy to Formalize Specification and Its Application to an Advanced Railway System. International Journal of Software Engineering and Knowledge Engineering, 24(3):465-492, 2014. [doi]
Abstract is missing.