W. Böhm, M. Junker, A. Vogelsang, S. Teufl, R. Pinger, и K. Rahn. Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, стр. 34--41. New York, NY, USA, ACM, (2014)
R. Fagin, J. Halpern, и N. Megiddo. Information and Computation, 87 (1–2):
78 - 128(1990)Special Issue: Selections from 1988 \IEEE\ Symposium on Logic in Computer Science.
A. Ferrari, M. Itria, S. Chiaradonna, и G. Spagnolo. Software Engineering for Resilient Systems, том 7527 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)
I. Mizuuchi, M. Inaba, и H. Inoue. Intelligent Robots and Systems, 2001. Proceedings. 2001 IEEE/RSJ International Conference on, 4, стр. 2099--2104. IEEE, (2001)
M. Collard, M. Decker, и J. Maletic. 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011, стр. 173--184. IEEE Computer Society, (2011)