Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings - Raschke, Alexander; Méry, Dominique (Springer International Publishing, 2021)