Dieter Hogrefe Main issues in protocol testing. 397-400 2003 4 STTT 4 http://dx.doi.org/10.1007/s10009-003-0109-6 db/journals/sttt/sttt4.html#Hogrefe03