Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:For this we employ QVTo, an Eclipse integration of the QVT Operational Mappings model transformation standard [18], Uppaal as an external model checker, and EMF Compare [6] to compare arbitrary EMF models.
Category: