Experiences in Developing Time-Critical Systems - The Case Study "Production Cell"

Jochen Burghardt

Starting from an informal requirements description of a toy production cell used in an intra-project competition in 1994, we give a formal specification that is as close as possibl…