R. Leszko and K. Pietak, “Verification mechanism for lightweight componenent-based environment based on IoC container”, csci, vol. 14, no. 4, p. 577, Nov. 2013.