APA

Groce, A., Havelund, K., Holzmann, G., Joshi, R., & Xu, R. (2014). Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning. : Springer.