Model Checking Method for SPA Page Transition Based on Component-based Framework. - Naito Oshima; Tomoji Kishi (SEKE, 2018)