Where S is a steady-state beginning...

2010-02-11 @ 18:51#

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