The ever expanding Casewise model library also includes models specific to various industry sectors. Models currently available include BETTA & NETA (British Electricity arrangement), iFlex Banking Model and MRASCo which support the processes for the registration of a change of electricity supplier in the UK retail market.