TY - RPRT TI - Experiences in Developing Time-Critical Systems - The Case Study "Production Cell" AU - Jochen Burghardt PY - 2014 UR - https://arxiv.org/abs/1404.1198 ID - 1404.1198 ER -