Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. - Lubos Korenciak; Vojtech Rehák; Adrian Farmadin (IFM, 2016)