Designing Event-Driven Architectures Using the AsyncAPI Specification