2023-08-112023-08-11https://publica.fraunhofer.de/handle/publica/448066International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2022