State Transition Diagram (STD)
State = set of values that describe an object (its condition/situation) at a specific moment in time
{State is determined based on the attribute values}
= relationship indicating a state change
{atomic (i.e. non-interruptible)}