1. Ammann, P., Offutt, J.: Introduction to Software Testing, 2nd edn. Cambridge University Press, Cambridge (2017)
2. Binder, R.V., Legeard, B., Kramer, A.: Model-based testing: where does it stand? Commun. ACM 58(2), 52–56 (2015)
3. Lecture Notes in Computer Science;LB Briones,2005
4. Cavalcanti, A., Ribeiro, P., Miyazawa, A., Sampaio, A., Conserva Filho, M., Didier, A.: RoboSim reference manual. Technical report, University of York (2019)
5. Cavalcanti, A., et al.: Verified simulation for robotics. Sci. Comput. Program. 174, 1–37 (2019)