New Model Checking Techniques for Software Systems Modeled with Graphs and Graph Transformations