Solution of the problems

• Modelica Event loop
  • makes behaviour better for static flip-flop
  • destroys "triggered" behaviour
  • is non-local, i.e. combines internal behaviour of the blocks
• Synchronous library
  • extension of the Modelica language and library
  • invented for reliable state machines
  • contains "clocked" signals that are only defined at a clock tick (uniquely!)
• Working triggered RS flip-flop
  • 
  • EventClock creates a clock tick at a (positive) edge of its input
  • Sample and Hold blocks transfer between standard and clocked signals
  • UnitDelay returns value at the previous clock tick