Use \firstuse instead of \textbf when introducing base clock partitio…

…n types

chapters/synchronous.tex

@@ -969,9 +969,7 @@ \subsection{Base-clock Partitioning}\doublelabel{base-clock-partitioning}
 \textless{}E\textsubscript{i}, V\textsubscript{i}\textgreater{},
 according to base-clocks and continuous-time partitions.
 
-The base clock partitions are identified as \textbf{clocked} or as
-\textbf{continuous-time partitions} according to the following
-properties:
+The base clock partitions are identified as \firstuse{clocked} or as \firstuse{continuous-time partitions} according to the following properties:
 
 A variable u in \lstinline!sample(u)!, a variable y in y =
 \lstinline!hold(ud)!, and a variable b in \lstinline!Clock(b, startInterval)! where b is of \lstinline!Boolean! type is in a continuous-time partition.