Towards Rigorously Faking Bidirectional Model Transformations - Research Database, The University of York Other