Orthogonal components are states with [CS] properties. As required by their semantics, [CS] always comes with [DS]. If any of a composite state's children has a [CS] property, all other children of the same parent should also have [CS].
Table 4.4 shows the textual description of the same model as Figure 4.3.
![\begin{table}\begin{center}
\begin{minipage}{4.5cm}
\begin{verbatim}
STATECHAR...
...S]
I
J [DS]
K [DS]
L\end{verbatim}
\end{minipage} \end{center}
\end{table}](img176.png)