A Transformer-based Approach for Abstractive Summarization of Requirements from Obligations in Software Engineering Contracts | IEEE Conference Publication | IEEE Xplore