A Case Study on Runtime Verification of a Continuous Deployment Process. - Shoma Ansai; Masaki Waga (CoRR, 2026)