Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings - Raschke, Alexander; Méry, Dominique; Houdek, Frank (Springer, 2020)