G. Schirner and R. Doemer, "System Level Modeling of an AMBA Bus, " TR 05-03, April 2005. download pdf