Resource control in the Magic functional model | IEEE Conference Publication | IEEE Xplore