Ixaris provides solutions for online payment. The use-case of Ixaris  serves to exercise the techniques developed in the project for

1. b-api refinement (in collaboration with University of Malta  and University of Bologna, WP2),
2. synthesis algorithms for adaptable, data-dependent adaptability (with University of Buenos Aires, University of Kent, University of Malta , and University of Leicester, WP2),
3. monitoring techniques (with University of Torino, University of Malta , University of Kent, University of Leicester, WP3),
4. application of prototype tools (WP4).