Lewerentz, C.2022-03-022022-03-0219953-540-58867-10-387-58867-1https://publica.fraunhofer.de/handle/publica/131443Formal development of reactive systems: Case study production cell