A resource allocation oriented modeling method in Cyber-Physical System | IEEE Conference Publication | IEEE Xplore