Contextualizing Formal Verification for Systems Security Engineering - Shaked, A.; Melham, T. (IEEE Security & Privacy, Security & Privacy, IEEE, IEEE Secur. Privacy, 2025)