Rajdeep Mukherjee, Subhankar Mukherjee, Pallab Dasgupta. Model checking of global power management strategies in software with temporal logic properties. In Sugata Ghosal, Gautam Shroff, Satish Chandra, Nachiappan Nagappan, editors, 6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013. pages 29-34, ACM, 2013. [doi]
Abstract is missing.