introduction to the case study
Modelling and Analysing a Memory Interface
Thomas Hune and
Gerd Behrmann
First Attacks on the Memory Management Case Study
Kim Larsen and Gerd Behrmann
MICRON DATA Sheet   Micron
An Arbiter for a Memory Card material Gera Weiss
Scheduler for a Memory Card presentation december 2002: pdf Gera Weiss