Stylianos Georgoulas, Klaus Moessner. Toward efficient protocol design through protocol profiling and performance assessment: using formal verification in a different context. Int. J. Communication Systems, 25(11):1415-1431, 2012. [doi]
Abstract is missing.