Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan: VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. SAC 2025: 1674-1691