Automated Technology for Verification and Analysis: 9th International Symposium | DealShopping Deutschland