Power modelling and capping for heterogeneous ARM/FPGA SoCs | IEEE Conference Publication | IEEE Xplore