Bernd Baumgarten H. Wiland Qualitative Notions of Testability. 345-360 1998 conf/pts/1998 IWTCS db/conf/pts/pts1998.html#BaumgartenW98