Specification Synthesis for Monitoring and Analysis of MANET Protocols | IEEE Conference Publication | IEEE Xplore