2022-03-022022-03-0220000-7695-0927-4https://publica.fraunhofer.de/handle/publica/136988Fifth IEEE International Symposium on High Assurance Systems Engineering, HASE 2000. Proceedings