Formal Process to Support Resolution of Functional Trade-Offs in Complex Product Development. - Kazuya Oizumi; Keita Ishida; Muyo Tai; Kazuhiro Aoyama (J. Comput. Inf. Sci. Eng., 2019)