Chalmers, Kevin, Kerridge, Jon, "Verifying the CPA Networking Stack using SPIN/Promela.", , 2025