15-10-2010, 11:21 AM
Just to clarify, MISRA AC SLSF 039A specifies that "a state must have either zero or more than one sub-state." This is effectively equivalent to the MAAB db_0137 rule "A state cannot have only one substate." A single superstate is disallowed in both cases.
<t></t>