Feasibility analysis of ConTest for embedded systems by P. Sae-Ui