Unit-2-Formal-and-Functional-models-my-notes-copia.pdf