Laurent Arditi Hélène Collavizza An Object-Oriented Framework for the Formal Verification of Processors. 215-234 http://link.springer.de/link/service/series/0558/bibs/0952/09520215.htm 1995 conf/ecoop/1995 ECOOP db/conf/ecoop/ecoop95.html#ArditiC95