System features like security, availability and reliability, usually summarized under the concept of dependability, recently are receiving increasing attention due to the high complexity of modern systems. This imposes that specific requirements and explicit or tighter constraints have to be satisfied. However, with particular reference to reliability, there is a lack of suitable tools to prope...