Concurrency and Refinement in the Unified Modeling Language Jim DaviesCharles Crichton OriginalPaper Pages: 118 - 145
A Refinement Strategy for Circus Ana CavalcantiAugusto SampaioJim Woodcock OriginalPaper Pages: 146 - 181
The Variety of Variables in Automated Real-Time Refinement Luke WildmanColin FidgeDavid Carrington OriginalPaper Pages: 258 - 279