\begin{thebibliography}{1}

\bibitem{Protocol}
S.~Edelkamp, A.~L. Lafuente, and S.~Leue.
\newblock Protocol verification with heuristic search.
\newblock In {\em AAAI Symposium on Model-based Validation of Intelligence},
  2001.

\bibitem{DirectedMC}
A.~L.~L. Stefan~Edelkamp and S.~Leue.
\newblock Directed explicit model checking with hsf-spin.
\newblock In {\em 8th International SPIN Workshop on Model Checking Software},
  2001.

\end{thebibliography}
