Two papers accepted at MODELS'11