IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models | IEEE Conference Publication | IEEE Xplore