Luan, Le, Tran Hoang Viet, & Pham Ngoc Hung.
" A Framework for Modeling and Modular Verifying of Component-based System Designs." <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], 32.2 (2016): n. pag. Web.  9 May. 2025