Uli Fahrenberg Axel Legay Louis-Marie Traonouez Specification Theories for Probabilistic and Real-Time Systems. 98-117 2014 FPS@ETAPS https://doi.org/10.1007/978-3-642-54848-2_7 conf/etaps/2014fps db/conf/etaps/fps2014.html#FahrenbergLT14