MLA

Groce, Alex, et al. Establishing Flight Software Reliability: Testing, Model Checking, Constraint-solving, Monitoring and Learning. : Springer, 2014.