Title: Logical Analysis of Systems, Risks, Changes