Budde, R.R.Budde2022-03-032022-03-031994https://publica.fraunhofer.de/handle/publica/185625enembedded systemreactive system005006629ESTEREL: Applied to the case study production cellbook article