Merge remote-tracking branch 'origin/master' into revert-883077ef

build.txt

doc/avatarmodelchecker/Makefile

doc/avatarmodelchecker/ttool_avatarmodelchecker.tex

modeling/AVATAR/MicroWaveOven_SafetySecurity_fullMethodo.xml

...main/java/avatartranslator/AvatarExpressionAttribute.java

src/main/java/avatartranslator/AvatarExpressionSolver.java

src/main/java/avatartranslator/AvatarLibraryFunction.java

src/main/java/avatartranslator/AvatarRandom.java

src/main/java/avatartranslator/AvatarStateMachine.java

src/main/java/avatartranslator/AvatarTransition.java

...tartranslator/directsimulation/AvatarSimulationBlock.java

.../directsimulation/AvatarSimulationPendingTransaction.java

...lator/directsimulation/AvatarSpecificationSimulation.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java

...in/java/avatartranslator/modelchecker/SafetyProperty.java

...va/avatartranslator/modelchecker/SpecificationReinit.java

...vatartranslator/modelchecker/SpecificationTransition.java

src/main/java/cli/Action.java

src/main/java/cli/Interpreter.java

src/main/java/cli/SimulatorScript.java