Towards a Software Power Cost Analysis Framework Using Colored Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Raimundo S. Barreto; Fernando F. Carvalho (PATMOS, 2004)