MACKO, Dominik. System-level power-management specification. In Počítačové architektury a diagnostika 2013 : proceedings; Pracovní seminář pro studenty doktorského studia, Teplá, Česká republika, 9-11 September 2013. 1. vyd. Plzeň : Západočeská univerzita v Plzni, 2013, s.87-92. ISBN 978-80-261-0270-0. I*49/13