Marvel Strategy Language Example | IEEE Conference Publication | IEEE Xplore