IP-XACT extensions for IP interoperability guarantees and software model generation | IEEE Conference Publication | IEEE Xplore