W. Böhm, M. Junker, A. Vogelsang, S. Teufl, R. Pinger, and K. Rahn. Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, page 34--41. New York, NY, USA, ACM, (2014)
R. Fagin, J. Halpern, and 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, and G. Spagnolo. Software Engineering for Resilient Systems, volume 7527 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)
I. Mizuuchi, M. Inaba, and H. Inoue. Intelligent Robots and Systems, 2001. Proceedings. 2001 IEEE/RSJ International Conference on, 4, page 2099--2104. IEEE, (2001)
M. Collard, M. Decker, and J. Maletic. 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011, page 173--184. IEEE Computer Society, (2011)