Bernd Baumgarten Olaf Henniger Testability with Unbounded Testing Strategies. 43-60 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#BaumgartenH99