Stefan Gossens Enhancing System Validation with Behavioural Types. 201-210 2002 conf/hase/2002 HASE http://csdl.computer.org/comp/proceedings/hase/2002/1769/00/17690201abs.htm db/conf/hase/hase2002.html#Gossens02