Integration of graph transformation and temporal logic for the specification of distributed systems - Koch, Manuel (2000)