Formal model for system-level power management design. - Mirela Simonovic; Vojin Zivojnovic; Lazar Saranovac (DATE, 2017)