Task state transitions in Ada

By stepwise refinement a state transition diagram for ADA-tasks is derived. Four steps of refinements are explained and then a complete list of state transitions is given containing reference s and short explanations.