Specifying a Landing Gear system with Stimulus

Does Stimulus apply mainly to SW requirements or is it usable earlier at System level, when the described system is made of pumps, cylinders, CPUs, man-machine-interfaces, electrovalves, sensors and so on?

Here is the answer in this 12mn demo, using a model that is pretty representative of an actual complex embedded system: