Crossing the boundaries while analyzing heterogeneous component-based software systems | IEEE Conference Publication | IEEE Xplore