Title: Mathematics of Dependable Systems II