SFTransStart (Atom)
Inheritance
Ancestors
SFHasRefId
SFTransConnector
SFTransStart
Remarks
Aspects
SFStateAspect:
SFState
,
State
Containment
Parents:
SFState
Formal Specification
Structural Semantics:
CyPhyML.4ml
Ancestors