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, doi: 10.7494/csci.2013.14.4.577.