Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers - Li, Yonghui (2016)