Ymer: A statistical model checker
A logic for reasoning about time and reliability