Hy dude how are you..nice meeting you..
i am a student and i have recently passed this Subject with B+ grade... so i can help you regarding z specification language... i can even write you come lessons about it that you can easily understand ... so come on chat we can discuss this project.... thanks