Formal verification of embedded systems based on CFSM networks