==== diagramatic reasoning ====

http://www.hcrc.ed.ac.uk/gal/Diagrams/

Timing Diagrams as a Specification Logic > http://www.cs.wpi.edu/%7Ekfisler/Research/#diagrams