Software components composition compatibility checking based on behavior description | IEEE Conference Publication | IEEE Xplore