FunSpec4DTMC - A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification. - Frederik Hauser; Dominik Krauß; Michael Menth (MMB, 2018)