When modeling control systems, as it is often the case for
medical device software, it could be useful to use a particular
class of ASMs, called control state ASMs [8], suitable to
explicitly model system modes (or control states). Control state
ASMs have an intuitive graphical representation by means of
control state diagrams. To express a decision point depending
on the value of an enumerative function (even boolean), we
introduce here a variant of control state diagram in [8]. It is
shown in Fig. 1