<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>
<http://schema.org/name>
"Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models - RISC - Johannes Kepler University"
<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>