15-424 : Foundations of Cyber-Physical Systems Lecture Notes on Virtual Substitution & Real Arithmetic