diagramatic reasoning
http://www.hcrc.ed.ac.uk/gal/Diagrams/
Timing Diagrams as a Specification Logic > http://www.cs.wpi.edu/%7Ekfisler/Research/#diagrams
http://www.hcrc.ed.ac.uk/gal/Diagrams/
Timing Diagrams as a Specification Logic > http://www.cs.wpi.edu/%7Ekfisler/Research/#diagrams