1. The temporal logic of branching time
2. Blender. 2022. blender.org - Home of the Blender project - Free and Open 3D Creation Software. https://www.blender.org/. Blender. 2022. blender.org - Home of the Blender project - Free and Open 3D Creation Software. https://www.blender.org/.
3. NuSMV: A New Symbolic Model Verifier
4. E M Clarke , O Grumberg , and D Peled . 1999. Model checking . MIT press . E M Clarke, O Grumberg, and D Peled. 1999. Model checking. MIT press.