Although model-checking is a powerful formal method with matured tools, there are some issues when applying it to industrial system developments, e.g. the state explosion problem, specifying verification formulas. On the other hand, industries facing difficulties in developing IoT, autonomous, or cyber-physical systems are trying to adopt model-based systems engineering(MBSE). In this presentation, we show possibilities that applying model-checking in the context of MBSE can cover up the issues of model-checking and enjoy the benefits of model-checking.