[ISSRE2020] IS1 - Modeling dependable systems