Gezgin, Tayfun (2017) State-based timing analysis for distributed systems. PhD, Universität Oldenburg.