Leszko, R.; Pietak, K. Verification Mechanism for Lightweight Componenent-Based Environment Based on IoC Container. csci 2013, 14, 577.