Luan, Le, 		Viet, Tran, AND 		Hung, Pham.
" A Framework for Modeling and Modular Verifying of Component-based System Designs" <em>VNU Journal of Science: Computer Science and Communication Engineering</em> [Online], Volume 32 Number 2 (31 May 2016)