* abstraction/refinement/simplification/approximation/factorization
   requirements vs. design specifications in context of refinement
   levels, types, framework

   >> Ian, Felipe, Gabriela, Pieter, Bruno (main room)

 * definitions of MPM, references

 * (co-)evolution
   language, model, consistency, transformation

   >> Jonathan, Antonio, Bart (library)

 * transformation 

   - systematic development
   - by example
   - verification/testing
   - traceability

   >> Eugene, Manuel, Marouanne, Hans, Mark (Seabourne)

 * semantics

   - semantic domains
   - representation
   - properties

 * language characterization

   - quality metrics

 * reverse engineering

   - traceability

 * resilience

   >> Ghizlane, Levi