https://123dok.com/kr/docs/testing-concurrent-programs-based-message-sequence-charts.11654053