Integrated formal methods 16th international conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, proceedings - Dongol, Brijesh; Troubitsyna, Elena (Springer, 2020)