Light-weight hybrid model checking facilitating online prediction of temporal properties Sauter, Gerald Dierks, Henning Fränzle, Martin Hansen, Michael R. 2009 - ReposIt