Leveraging applications of formal methods, verification and validation software engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings, part II - Margaria, Tiziana 1964-; Steffen, Bernhard 1958- (Springer, 2023)