Analyse des Verhaltens von Mikrocomputersystemen