These notes in PowerPoint were presented at a course on formal methods for NASA. Unfortunately I don't have the source of the notes and I would like to cite that source here if anyone can provide it to me.