2024-09-242024-09-24https://publica.fraunhofer.de/handle/publica/475559NASA Formal Methods Symposium 2024