Fig. 12
From: A symbolic model checking approach in formal verification of distributed systems

The LTS window in the GSMT framework
From: A symbolic model checking approach in formal verification of distributed systems
The LTS window in the GSMT framework