Yokogawa, T., Matsumoto, A., Amasaki, S., Aman, H., Arimoto, K., 2020. Synthesis and Consistency Verification of UML Sequence Diagrams with Hierarchical Structure.. https://doi.org/10.52731/iee.v6.i2.529