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