SMS dit: Probabilistic Modeling in System Engineering