Your browser does not support the applet tag. Here you might have seen the Simulator for Timed Abstract State Machines applet.