<https://risc.jku.at/#/schema/logo/image/>
<http://schema.org/contentUrl>
<https://risc.jku.at/wp-content/uploads/2018/01/risc-logo-300.png>
<https://risc.jku.at/pj/analzying-real-time-systems-by-combining-temporal-logic-and-statistical-models/>