@conference{Li16RTAS,
author={Li, Yonghui and Akesson, Benny and Lampka, Kai and Goossens, Kees}, 
booktitle={Real-Time and Embedded Technology and Applications Symposium (RTAS)}, 
title={Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers}, 
year={2016} 
}