Network Grammars, Communication Behaviors and Automatic Verification. - Ze'ev Shtadler; Orna Grumberg (Automatic Verification Methods for Finite State Systems, 1989)