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