Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study