Study on formal modeling and verification of safety computer platform - Wang, Xi (Advances in Mechanical Engineering)