2022-03-022022-03-0219970-8186-7971-9https://publica.fraunhofer.de/handle/publica/133662High-Assurance Engineering Workshop 1997. Proceedings