selected publications chapter Failure is Also an Option. Lecture notes in computer science. 161-165. 2016