Analyzing Performance for Complex Protocol using Validated CP-nets Models | IEEE Conference Publication | IEEE Xplore