Specification of adaptive HW/SW systems in SystemC | IEEE Conference Publication | IEEE Xplore