Verification of heterogeneous systems: Theory and industrial experiences | IEEE Conference Publication | IEEE Xplore