Qualitative Notions of Testability. - Bernd Baumgarten; H. Wiland (IWTCS, 1998)