Read More About Automatic Generation Of Formal Verification Properties From English LanguagePower Management through Dynamic Modulation Scaling in Wireless Sensor Networks