Structural and behavioral equivalence of simulation models · Study