Statistics for Mapping BoxTalk to Promela Model