Dichev, K.,  Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?,  : University of Stuttgart, pp. 1?8, 2005.