On the Derivation of Tightly-Coupled LiDAR-Inertial Odometry with VoxelMap | Signal Canvas | ScienceToStartup