IMU Modelling for Writing EKF Code

This is a theoretical question. I want to ask the writers of this code base about the equations they used to model the IMU and to integrate its measurement in the EKF framework. Any useful reference will do a world of good to me.

Hello

The answer is within the code:

Cool! m files make life even simpler!! Thank you so much!