Automated Inversion of Attribute Mappings in Bidirectional Model Transformations. - Max E. Kramer; Kirill Rakhman (Bx@ETAPS, 2016)