Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings - Schoitsch, Erwin (Lecture Notes in Computer Science,, 2011)