diff --git a/content/applying-automata-learning.tex b/content/applying-automata-learning.tex
index ba0fb68..33fad74 100644
--- a/content/applying-automata-learning.tex
+++ b/content/applying-automata-learning.tex
@@ -624,7 +624,33 @@ The old transitions and state \kw{B} are removed.
   [title={Example of empty transition transformation. On the left the original version. On the right the transformed version.},
    list={Empty transition transformation},
    reference=fig:model-example1]
-\externalfigure[model-example1.pdf][width=0.5\textwidth]
+\hbox{\switchtobodyfont[small]\starttikzpicture
+  [ dot/.style={draw, circle, inner sep=3pt},
+    conn/.style={->, shorten >=1pt},
+    x=0.7cm, y=-1.2cm ]
+\node[dot] at ( 0, 0) (A) {A};
+\node[dot] at ( 0, 1) (B) {B};
+\node[dot] at (-1, 2) (C) {C};
+\node[dot] at ( 1, 2) (D) {D};
+
+\node[dot] at ( 8, 0) (A2) {A};
+\node[dot] at ( 7, 2) (C2) {C};
+\node[dot] at ( 9, 2) (D2) {D};
+
+\path[conn]
+  (A) edge node[left] {\kw{OP()}} (B)
+  (B) edge node[left] {\kw{["a==0"]}} (C)
+  (B) edge node[right] {\kw{["a==1"]}} (D);
+
+\path[conn]
+  (A2) edge node[left] {\kw{["a==0"]}} (C2)
+  (A2) edge node[right] {\kw{["a==1"]}} (D2);
+
+\node[fit=(A)(B)(C)(D)] (box1) {};
+\node[fit=(A2)(C2)(D2)] (box2) {};
+
+\path[|->, shorten >=1cm, shorten <=1cm] (box1) edge (box2);
+\stoptikzpicture}
 \stopplacefigure
 \stopdescription
 
@@ -646,10 +672,38 @@ When flattening the statechart, we modified the guards of supertransitions to en
 %Once a leaf state is reached all the collected supertransitions are added as outgoing transitions of the leaf state.
 
 \startplacefigure
-  [title={Example of supertransition transformation. On the left the original version. On the right the transformed version},
+  [title={Example of supertransition transformation. On the left the original version. On the right the transformed version.},
    list={Supertransition transformation.},
    reference=fig:model-example2]
-\externalfigure[model-example2.pdf][width=0.4\textwidth]
+\hbox{\switchtobodyfont[small]\starttikzpicture
+  [ dot/.style={draw, circle, inner sep=3pt},
+    conn/.style={->, shorten >=1pt},
+    supern/.style={draw, rounded corners, inner sep=10pt},
+    superl/.style={fill=white},
+    x=1cm, y=-1.5cm ]
+\node[dot] at (0, 0) (B) {B};
+\node[dot] at (0, 1) (C) {C};
+\path[conn] (B) edge node[right] (BC) {\kw{IP() ["a==1"]}} (C);
+
+\node[supern, fit=(B)(C)(BC)] (A) {};
+\node[superl] at (A.north) {A};
+
+\draw[conn]
+  (A.east) ++ (0, 20pt) -- node[above] {\kw{IP()}} ++ (20pt, 0) |- ++ (-20pt, -10pt);
+
+
+\node[dot] at (6, 0) (B2) {B};
+\node[dot] at (6, 1) (C2) {C};
+\path[conn] (B2) edge node[right] (BC2) {\kw{IP() ["a==1"]}} (C2);
+
+\node[supern, fit=(B2)(C2)(BC2)] (A2) {};
+\node[superl] at (A2.north) {A};
+
+\draw[conn] (B2) -- node[above] {\kw{IP() ["a!=1"]}} (B2 -| A2.east);
+\draw[conn] (C2) -- node[below] {\kw{IP()}} (C2 -| A2.east);
+
+\path[|->, shorten >=1cm, shorten <=1cm] (A) edge (A2);
+\stoptikzpicture}
 \stopplacefigure
 
 \in{Figure}[fig:model-example2] shows an example model with supertransitions and its transformed version.
diff --git a/images/ESMProtocols.pdf b/images/ESMProtocols.pdf
deleted file mode 100644
index 643d564..0000000
Binary files a/images/ESMProtocols.pdf and /dev/null differ
diff --git a/images/ESMStates.pdf b/images/ESMStates.pdf
deleted file mode 100644
index 0c9b64f..0000000
Binary files a/images/ESMStates.pdf and /dev/null differ
diff --git a/images/ESRAOverview.pdf b/images/ESRAOverview.pdf
deleted file mode 100644
index 330e9f4..0000000
Binary files a/images/ESRAOverview.pdf and /dev/null differ
diff --git a/images/Learner.pdf b/images/Learner.pdf
deleted file mode 100644
index 94c6bea..0000000
Binary files a/images/Learner.pdf and /dev/null differ
diff --git a/images/formats.pdf b/images/formats.pdf
deleted file mode 100644
index 6e201a2..0000000
Binary files a/images/formats.pdf and /dev/null differ
diff --git a/images/model-example1.pdf b/images/model-example1.pdf
deleted file mode 100644
index 356ba15..0000000
Binary files a/images/model-example1.pdf and /dev/null differ
diff --git a/images/model-example2.pdf b/images/model-example2.pdf
deleted file mode 100644
index cea3cf0..0000000
Binary files a/images/model-example2.pdf and /dev/null differ