An explainable method for security requirements classification through transformer models | Synapse