Mode-controlled data-flow modeling of real-time memory controllers | IEEE Conference Publication | IEEE Xplore