Energy-efficient synthesis of periodic task systems upon identical multiprocessor platforms | IEEE Conference Publication | IEEE Xplore