Comparing OpenAPI and AsyncAPI specifications for describing Server-Sent Events - Pavel on Software