On the modular symbolic-numeric implementation of extended Kalman filters | IEEE Conference Publication | IEEE Xplore