Peter Struss Testing Physical Systems. 251-256 1994 conf/aaai/1994-1 AAAI db/conf/aaai/aaai94-1.html#Struss94 http://www.aaai.org/Library/AAAI/1994/aaai94-038.php