Muhammad Salman Malik, Robin Berthier, Rakesh B. Bobba, Roy H. Campbell, William H. Sanders. Formal design of communication checkers for ICCP using UPPAAL. In IEEE Fourth International Conference on Smart Grid Communications, SmartGridComm 2013, Vancouver, BC, Canada, October 21-24, 2013. pages 486-491, IEEE, 2013. [doi]
Abstract is missing.