<> <> <> <<>> DIRECTORY DM; DMFSAModel: CEDAR DEFINITIONS = BEGIN <> FSASpecific: TYPE = REF FSASpecificRec; FSASpecificRec: TYPE = RECORD [ state: State _ 0, ctlAB: DM.Component _ NIL, ctlBA: DM.Component _ NIL ]; State: TYPE = [0..16); <> Create: PUBLIC PROC [Reset, PhA, EvPhA, PhB, EvPhB: DM.ActionProc, ctlAB, ctlBA: DM.Component] RETURNS [fsa: DM.Component]; END. <<>>