Transferring testing and verification technology to industry | IEEE Conference Publication | IEEE Xplore