In this report we present development of A Toll Way Control System by step-wise refinement. We also report the significant changes which have been made during the development. This work is carried out using the RAISE specification language and its associated method. Familiarity with RAISE or at least an ability to read it, is assumed.
