Budde, R.R.Budde2022-03-032022-03-031995https://publica.fraunhofer.de/handle/publica/187613enEsterelembedded systemreactive system005006629400ESTEREL: Applied to the case study production cellbook article