Mark D. Hill Anne Condon Manoj Plakal Daniel J. Sorin A System-Level Specification Framework for I/O Architectures. 138-147 1999 SPAA http://doi.acm.org/10.1145/305619.305634 db/conf/spaa/spaa99.html#HillCPS99