2022-03-022022-03-0220010-7695-1275-50-7695-1277-1https://publica.fraunhofer.de/handle/publica/138136Sixth IEEE International Symposium on High Assurance Systems Engineering 2001