Fig. 10From: A symbolic model checking approach in formal verification of distributed systemsThe generated graphical transition diagram of Example 1 in the GSMT frameworkBack to article page