@phdthesisSch2001, Author = {Schlör, Rainer}, Title = {Timing Diagrams: A Visual Formalism for Model Verification}, Year = {2001}, Month = {01}, type = {phdthesis} @COMMENTBibtex file generated on