Enhanced Schedulability Analysis of Hard Real-time Systems on Power Manageable Multi-core Platforms | IEEE Conference Publication | IEEE Xplore