Case study 1 - static analysis by fhegazi | SimScale