1. Chen, B., & Wu, F. (2002). Research on formal models of railway signal interlocking logics. Journal of The China Railway Society, 24(6), 50–54.
2. Ji, G. (2011). The Formal analysis of security protocols based on Maude. Xi’an: Xidian University.
3. Eker, S., Meseguer, J., & Sridharanarayanan, A. (2004). The Maude LTL model checker. Electronic Notes in Theoretical Computer Science, 71, 162–187.
4. Mccombs, T. (2003). Maude 2.0 primer.
http://maude.cs.uiuc.edu
5. Clavel, M., Duran, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., et al. (2011). Maude manual (version 2.6).
http://maude.cs.uiuc.edu