A survey of energy-efficient task synchronization for real-time embedded systems | IEEE Conference Publication | IEEE Xplore