Software models for smart grid. - Anjali Singhal; R. P. Saxena (SE4SG@ICSE, 2012)