diff --git a/src/main/resources/ui/util/uppaal.gif b/src/main/resources/ui/util/uppaal.gif
new file mode 100644
index 0000000000000000000000000000000000000000..b1fa26fb9b636f90828cc6442316fa4c7d153da6
Binary files /dev/null and b/src/main/resources/ui/util/uppaal.gif differ