<https://risc.jku.at/#website>
<http://schema.org/description>
"Reserach Institute for Symbolic Computation - JKU Linz"
<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>