Message Sequence Charts, Message Sequence Graph, timing
consistency, tightening, minimal network