palavras-chave Concurrent Component-based Software Systems Dependabilidade Implied Scenarios Probabilistic Model Checking