Jozef Hooman Teun Hendriks Model-Based Run-Time Error Detection. 225-236 2007 MoDELS Workshops http://dx.doi.org/10.1007/978-3-540-69073-3_24 conf/models/2007w db/conf/models/models2007w.html#HoomanH07