Bambda: A Real-Time Verification Framework for Serverless Computing. - Changhee Shin; Bom Kim; Seungsoo Lee (IEEE Access, 2025)