Tutorial Notes. High level Modeling and Formal Verification : Tutorial G - Jess, J.A.G (Eindhoven University of Technology, 1993)