Lex Heerink Ed Brinksma Validation in context. 221-236 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#HeerinkB95