Dongol, B.2022-03-022022-03-022020978-3-030-63460-5978-3-030-63461-2https://publica.fraunhofer.de/handle/publica/166799Integrated formal methods. 16th international conference, IFM 2020. Proceedings