Text this: Tutorial Notes. High level Modeling and Formal Verification :