PoC for model transformation using covariant models