diff --git a/specification/level-1-version-4/sed-ml-L1V4.pdf b/specification/level-1-version-4/sed-ml-L1V4.pdf
index a3849b4..836793e 100644
Binary files a/specification/level-1-version-4/sed-ml-L1V4.pdf and b/specification/level-1-version-4/sed-ml-L1V4.pdf differ
diff --git a/specification/level-1-version-4/sources/simulation.tex b/specification/level-1-version-4/sources/simulation.tex
index bd0a893..829403d 100644
--- a/specification/level-1-version-4/sources/simulation.tex
+++ b/specification/level-1-version-4/sources/simulation.tex
@@ -107,15 +107,46 @@ \subsubsection{\element{SteadyState}}
% ~~~ ANALYSIS SIMULATION ~~~
\subsubsection{\element{Analysis}}
\label{class:analysis}
-The \concept{Analysis} represents any sort of analysis or simulation of a \Model, entirely defined by its child \Algorithm. If a simulation can be defined by a different \Simulation, that should be used instead, so that tools are more likely to recognize the request. But for any simultion or any analysis not covered by \SteadyState, \OneStep, or \UniformTimeCourse, the only thing necessary is a KiSAO term for the \Algorithm defining what to do.
+The \concept{Analysis} represents any sort of analysis or simulation of a \Model, entirely defined by its child \Algorithm. If a simulation can be defined by a different \Simulation, that should be used instead, so that tools are more likely to recognize the request. But for any simultion or any analysis not covered by \SteadyState, \OneStep, or \UniformTimeCourse, the only thing necessary is a KiSAO term for the \Algorithm defining what to do. The following examples illustrate analyses that could not be created with other SED-ML \Simulation classes:
\lsttext{analysis}{analysis}
-\begin{myXmlLst}{The SED-ML \code{analysis} element, defining a reachability analysis of a logical model.}{lst:analysis}
+\begin{myXmlLst}{The SED-ML \code{analysis} element, defining a time course with a stop condition ($ObsA<9$).}{lst:analysis}
-
-
-
+
+
+
+
+
+
+
+
+
+\end{myXmlLst}
+
+\lsttext{analysis2}{analysis2}
+
+\begin{myXmlLst}{The SED-ML \code{analysis} element, defining a non-uniform time course.}{lst:analysis2}
+
+
+
+
+
+
+
+
+
+\end{myXmlLst}
+
+\lsttext{analysis3}{analysis3}
+
+\begin{myXmlLst}{The SED-ML \code{analysis} element, defining a reachability analysis.}{lst:analysis3}
+
+
+
+
+
+
\end{myXmlLst}