Efficient Verification of MASs with Projections