Luan, L., 		Viet, T., & 		Hung, P.
(2016).
 A Framework for Modeling and Modular Verifying of Component-based System Designs.
<em>VNU Journal Of Science: Computer Science And Communication Engineering, 32</em>(2).
Retrieved from <a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/110" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/110</a>