David A. Basin, Cas Cremers, Catherine Meadows: Model Checking Security Protocols. Handbook of Model Checking 2018: 727-762