As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must …
