www.prismmodelchecker.org
[OJMD12] Samir Ouchani, Yosr Jarraya, Otmane Ait Mohamed and Mourad Debbabi. Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. Journal of Software, 7(7), pages 1488-1495. 2012. [Analyses communication protocol attack scenarios with PRISM, using RTSP/SRTP as an example.]
Links: [Google] [Google Scholar]

Publications