life in lowercase
An arc where S is a steady-state beginning, Si is a steady-state ending, and {t0..n} represents an optional set of zero or more transient state transitions.
code
