1. Modeling and verification of services oriented cyber physical systems;Liu;Journal of Computer Applications,2014
2. Software formal modeling and verification method based on time STM;Hou;Journal of Software,2015
3. Improving reliability of myocontrol using Formal Verification;Guidotti;IEEE Transactions on Neural Systems and Rehabilitation Engineering,2019
4. Formal modeling and verification of resource-oriented internet of things systems;Ma;Journal of Chinese Computer Systems,2018
5. Checking the CICS file control API with Z/EVES: an experiment in the verified software repository;Freitas;Science of Computer Programming,2009