Schlör, Rainer C. (2002) Symbolic timing diagrams: a visual formalism for model verification. PhD, Universität Oldenburg.