Graph Transformation for Concurrency and Verification - Preface