Eine Methode zur formalen Verifikation von RISC-Prozessen / Sofiène Tahar. Düsseldorf : VDI-Verl., 1995