1. Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 35(8), 1100–1122 (2012)
2. Lecture Notes in Computer Science;J Luo,2017
3. Liu, S., McDermid, J., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667–684 (2010)
4. Liu, S.: Capturing complete and accurate requirements by refinement. In: Proceedings of 8th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society Press, Greenbelt, 2–4 December (2002)
5. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Spinger, Heidelberg (2004)