Automatically detecting mismatches during component-based and model-based development | IEEE Conference Publication | IEEE Xplore