Jens Chr. Godskesen Connectivity Testing. 5-38 2004 25 Formal Methods in System Design 1 http://www.springerlink.com/index/10.1023/B:FORM.0000033961.36239.68 db/journals/fmsd/fmsd25.html#Godskesen04