A Verification Method of Time-response Requirements. - Yuuma Matsumoto; Atsushi Ohnishi (ICSOFT-EA, 2016)

A Method for Verifying Non-Functional Requirements. - Yuuma Matsumoto; Sayaka Shirai; Atsushi Ohnishi (KES, 2017)