Proving the Correctness of Pipelined Micro−Architectures - Kroening, D; Paul, W; Mueller, S (Proc. of ITG/GI/GMM−Workshop ”Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, 2000)