BAIER, Christel, Clemens DUBSLAFF,
Ľuboš KORENČIAK,
Antonín KUČERA a
Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.
ACM Transactions on Modeling and Computer Simulation (TOMACS). ACM, 2019, roč. 29, č. 4, s. "28:1"-"28:26", 26 s. ISSN 1049-3301. Dostupné z: https://dx.doi.org/10.1145/3310225.