Model transformations ===================== Explain model transformations Specification ------------- Explain how to specify a model transformation, with a drawn out example. RAMification ^^^^^^^^^^^^ Explain how RAMification works and what it does. Specifically, which attributes does it add etc. Tracability links ----------------- How do tracability links work?