Ralf Gerlich: Path Constraint Construction with Lookahead. Software Engineering (Workshops) 2008: 431-434