PMS2UPF: An automated transition from ESL to RTL power-intent specification. - Miroslav Siro; Dominik Macko; Katarína Jelemenská (DDECS, 2017)