Aris, H.; Salim, S. S. Properties for Component Model: The Definition Perspective. Comput. Inform. 2012, 30, 987-1010.