15-424 : Foundations of Cyber-Physical Systems Lecture Notes on Ghosts & Differential Ghosts