<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>
<http://schema.org/dateModified>
"2018-01-24T15:21:10+00:00"^^<http://schema.org/Date>
<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>