Topics in Real-Time Systems(Real-Time Theory for Cyber-Physical System Design)