Could UML and Contract tackle heterogeneity? | IEEE Conference Publication | IEEE Xplore