Verification of SimCo — Simulation tool for testing of component-based application | IEEE Conference Publication | IEEE Xplore