Gehan Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang. Automated Verification of Model. Transformations in the Automotive Industry.
Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, ACM and IEEE, Sep 2013, Miami, United States.
⟨hal-00834058⟩