A Graphic Language Based on Timing Diagrams. - Christian Antoine; Bernard Le Goff; Jean-Eric Pin (FSTTCS, 1993)