Modeling System States: State-transition Diagrams And State Tables By Karl Wiegers Analysts Corner