A new method for FMS modeling and formal verification | IEEE Conference Publication | IEEE Xplore