Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings - ter Beek, Maurice H.; Monahan, Rosemary (Cham Springer International Publishing AG, 2022)