1. Arora, A., Theimer, M.: On Modeling and Tolerating Incorrect Software. Microsoft Research Technical Report MSR-TR-2003-27 (2003)
2. Beck, K., Andres, C.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison-Wesley, Reading (1999)
3. Brukman, O., Dolev, S.: Recovery Oriented Programming. Technical Report #06-06, Department of Computer Science, Ben-Gurion University, Israel (June 2006)
4. Brukman, O., Dolev, S., Kolodner, E.K.: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. In: Proc. of the IEEE SWSTE, pp. 20–29 (2003)
5. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer 7(3), 212–232 (2005)