Detailed analysis of the models
A look at the Modelica language specification
Understanding the static RS flip-flop
Understanding the triggered RS flip-flop
Explaining the shift register