@inproceedings{rashid2015formal, title={Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL}, author={Rashid, Adnan and Hasan, Osman and Saghar, Kashif}, booktitle={2015 12th International Conference on High-capacity Optical Networks and Enabling/Emerging Technologies (HONET)}, pages={1--5}, year={2015}, organization={IEEE} }