ela Verification Model Translation Method based on Relative SysML State Machine Diagra m s