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

build.txt

doc/avatarmodelchecker/images/AUTgraphlist.png

doc/avatarmodelchecker/images/counterexamplegraph.png

doc/avatarmodelchecker/images/modelcheckerwindow.jpg

doc/avatarmodelchecker/ttool_avatarmodelchecker.tex

src/main/java/avatartranslator/AvatarActionAssignment.java

src/main/java/avatartranslator/AvatarActionOnSignal.java

src/main/java/avatartranslator/AvatarBlock.java

src/main/java/avatartranslator/AvatarBlockTemplate.java

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

src/main/java/avatartranslator/AvatarExpressionSolver.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarTransition.java

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

...tartranslator/modelchecker/CounterexampleQueryReport.java

...va/avatartranslator/modelchecker/CounterexampleTrace.java

...ava/avatartranslator/modelchecker/SpecificationBlock.java

...ava/avatartranslator/modelchecker/SpecificationState.java

src/main/java/cli/Action.java

src/main/java/tmltranslator/TMLEvent.java