\subsubsection{LTL and PLTL}
%TODO: Consider/Analyse differences between LTL and PLTL