Here si a 5mn demo of Stimulus applied to the functional requirements of a signalling system (CBTC) for trains, you will see in particular how easy it is to connect a GUI to Stimulus to represent graphically the system behavior, making the simulation easier to understand by system engineers.