Verification of State Isolation Properties from 1st step drawing book , image source: link.springer.com