DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers | IEEE Conference Publication | IEEE Xplore