1 Introduction, Methodology and Related Work  
2 General Software Engineering Techniques for Robotic Systems  
3 External Challenges of Autonomous Robotic Systems  
4 Internal Challenges of Autonomous Robotic Systems  
5 Formalisms for Robotic Systems  
6 Formal Verification Approaches for Robotics  
7 Conclusion