Likelihood Ratio Sensitivity Analysis for Markovian Models of Highly Dependable Systems | Synapse