Textram a DSL for the development and management of RAM models (RAM models are defined in http://www.cs.mcgill.ca/~joerg/SEL/RAM.html)