Model-Based Development: Metamodeling, Transformation and Verification