How far an evolutionary approach can go for protocol state analysis and discovery | IEEE Conference Publication | IEEE Xplore