N. A. Zafar, “Formal Specification and Validation of Railway Network Components Using Z Notation,” IET, Software, Vol. 3, No. 4, 2009, pp. 312-320. http://dx.doi.org/10.1049/iet-sen.2008.0082

has been cited by the following article: