Performance Models in Robotics With a Use Case on SLAM | IEEE Journals & Magazine | IEEE Xplore