Software design and program development is widely recognised as a highly creative task. The reason for this understanding is that industrial-strength software has some inherent conceptual complexity which can, as in the case of concurrent, reactive systems, easily exceed the human intellectual capacity. Finding ways to master this complexity is therefore one of the major challenges in computer science today...