Margaria, T.2022-03-022022-03-022020978-3-030-61466-9978-3-030-61467-6https://publica.fraunhofer.de/handle/publica/166453Leveraging applications of formal methods, verification and validation. Applications. Proceedings. Pt.III