A Case Study on Combining Agile Requirements Development and SOFL2020 · Structured Object-Oriented Formal Language and Method, 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, Lecture Notes in Computer Science, 2021年06月, 査読有り, 通常論文