Enforcing Interaction Properties in AOSD-Enabled Systems | IEEE Conference Publication | IEEE Xplore