Qualitative Domain Abstractions for Time-Varying Systems: an Approach based on Reusable Abstraction Fragments