ZTA-Formal-HERO