1. Anderson, J.D., Laing, P.A., Lau, E.L., Liu, A.S., Nieto, M.M., Turyshev, S.G.: Indication, from Pioneer 10/11, Galileo, and Ulysses data, of an apparent anomalous, weak, long-range acceleration. Phys. Rev. Lett. 81(14), 2858 (1998)
2. Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: International Conference on Computer Aided Verification, pp. 171–177. Springer, Berlin (2011)
3. Beckert, B., Hähnle, R., Schmitt, P.H.: Verification of Object-Oriented Software: The Key Approach. Springer, Berlin (2007)
4. Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Petterson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: Third International Conference on the Quantitative Evaluation of Systems-(QEST’06), pp. 125–126. IEEE (2006)
5. Beyer, D.: Reliable and reproducible competition results with BenchExec and witnesses (report on SV-COMP 2016). In: Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 9636, pp. 887–904. Springer, New York (2016) doi: 10.1007/978-3-662-49674-9