https://halimyzemocelyja.hermes-security.com/automatic-software-test-data-generation-from-z-specifications-using-evolutionary-algorithms-book-20977pz.php