Francisco Rodríguez, Juan José Serrano: Control Flow Error Checking with ISIS. ICESS 2005: 659-670