Shorten headings related to synchronous solver methods

chapters/synchronous.tex

@@ -1026,7 +1026,7 @@ \subsection{Sub-Clock Inferencing}\label{sub-clock-inferencing}
 64 bit internal representation of numerator and denominator with sign can be used and gives minimum resolution $1.08\times 10^{-19}$ seconds and maximum range $9.22\times 10^{18}$~seconds = $2.92\times 10^{11}$~years.
 \end{nonnormative}
 
-\section{Clocked-Discretized -- Continuous-Time Equations in Clocked Partitions}\label{continuous-time-equations-in-clocked-partitions}\label{clocked-discretized-continuous-time-equations-in-clocked-partitions}
+\section{Clocked Partition Equation Solving}\label{continuous-time-equations-in-clocked-partitions}\label{clocked-discretized-continuous-time-equations-in-clocked-partitions}
 
 \begin{nonnormative}
 The goal is that every continuous-time Modelica model can be utilized in a sampled data control system.
@@ -1065,7 +1065,7 @@ \section{Clocked-Discretized -- Continuous-Time Equations in Clocked Partitions}
 clocked partition.
 
 
-\subsection{Clocked Discrete-Time and Clocked Discretized Continuous-Time Partition}\label{clocked-discrete-time-and-clocked-discretized-continuous-time-partition}
+\subsection{Clocked Discrete-Time and Discretized Continuous-Time}\label{clocked-discrete-time-and-clocked-discretized-continuous-time-partition}
 
 Additionally to the variability of expressions defined in \cref{variability-of-expressions}, an orthogonal concept \willintroduce{clocked variability} is defined in this section.
 If not explicitly stated otherwise, an expression with a variability such as \emph{continuous-time} or \emph{discrete-time} means that the expression is inside a partition that is not associated to a clock.