Gerstlauer, et al.. Automatic Layer-based Generation of System-on-chip Bus Communication Models. Institute of Electrical and Electronics Engineers (IEEE), 2007, doi:10.1109/tcad.2007.895794.