Verification of Conceptual Architecture Based on Component | IEEE Conference Publication | IEEE Xplore