Extensions.StateMachineProcedure.StateMachineProcedureChk007

From emotive
Jump to navigation Jump to search

Classification

Name StateMachineProcedure_Chk007
Class StateMachineProcedure
Severity Critical
SpecifiedBy ISO 13209-4

Description

The initial state will refer to an existing state inside the same procedure.