A Meta-Model-Based Approach for Semantic Fault Modeling on Multiple Abstraction Levels