CODES+ISSS 2011 Best Paper Award for Reliable Software for Unreliable Hardware: Embedded Code Generation aiming at Reliability by S. Rehman, M. Shafique, F. Kriebel, J. Henkel
