Automated Technology for Verification and Analysis: 5th International Symposium | Kaicus Deutschland