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