Requirements Simulation with STIMULUS: HVAC example