Verification mechanism for lightweight componenent-based environment based on IoC container. - Rafal Leszko; Kamil Pietak (Comput. Sci., 2013)