Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings - Raschke, Alexander (Springer International Publishing, 2021)