Fig. 13From: A symbolic model checking approach in formal verification of distributed systemsThe generated graphical transition diagram of Example 2 in a original and b reduced modelBack to article page