@misc{indiciae2c00f568d762, title = {validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model}, author = {Hikaru Morita and Saeko Matsuura}, year = {2021}, url = {https://arxiv.org/abs/2103.00781}, note = {Source identifier: 2103.00781} }