As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...