Added transaction to Event-B comp and a reset() to FMU comp