Luan, L., 		Viet, T., & 		Hung, P.
2016 May 31.  A Framework for Modeling and Modular Verifying of Component-based System Designs. VNU Journal of Science: Computer Science and Communication Engineering. [Online] 32:2