H. Aris and S. S. Salim, “Properties for Component Model: The definition Perspective”, Comput. Inform., vol. 30, no. 5, pp. 987–1010, Jan. 2012.