Stephen A. Edwards, Olivier Tardieu: Efficient code generation from SHIM models. LCTES 2006: 125-134