Batching Model Slices for Resource-Efficient Execution of Transformer Models in Edge AI | IEEE Conference Publication | IEEE Xplore