Model and heuristic technique for efficient verification of component-based software systems | IEEE Conference Publication | IEEE Xplore