A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols - Garcia, Rémi (Electronics, 2024)