CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization. - Zirong Chen; Issa Li; Haoxiang Zhang 003; Sarah Masud Preum; John A. Stankovic; Meiyi Ma (CoRR, 2023)