Alexander Pacholik, Wolfgang Fengler. A system model for formal verification of TLM based transaction properties. In George F. Riley, editor, Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 1. pages 93-99, SCS/ACM, 2007. [doi]
Abstract is missing.