Experimental methods for simulation semantics · Study