Larsen, Mardare, Thrane, 2012. Parameterized Metatheory for Continuous Markovian Logic 103.. https://doi.org/10.4204/eptcs.103.4