Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz: Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. MEMOCODE 2015: 198-207