Graph and Model Driven Engineering Winter Term 15/16 L10 Model Navigation and Linear Time Logic Queries January 18, 2016 Albert Zündorf Graph and Model Driven Engineering, WS1516