Simulating flip-flops in Simulink and Modelica