Minor mod to L23.

Lectures/L23_FiniteStateMachines/FiniteStateMachines.tex

@@ -393,6 +393,14 @@ $\mathbf{c}$ & - & - & - & $q_0$\\
 \includegraphics[scale=0.45]{../Figures/ARefinement.png}
 \end{figure}
 
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{When to use FSMs for Specification?}
+
+
 \end{frame}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%