A Graphical Approach to Testing Real-Time Embedded Devices