When COSTA Met KeY: Verified Cost Bounds | Publicación