McNeileand Roubtsova. Executable Protocol Models as a Requirements Engineering Tool. IEEE, 2008, doi:10.1109/anss-41.2008.20.