Montenegro, S.S.Montenegro2022-03-032022-03-031996https://publica.fraunhofer.de/handle/publica/187775en004006384ESPRESS engineering of Safety-Critical Embedded Systemsjournal article