Abdelillah Mokkedem Ravi Hosabettu Ganesh Gopalakrishnan Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. 237-254 http://link.springer.de/link/service/series/0558/bibs/1522/15220237.htm 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#MokkedemHG98