rPrism: a software for reactive weighted state transition models - Figueiredo, Daniel (2019)