[CS 424] Real-Time Systems #distributed-systems-networking-and-security/cs424 #machines/cs424 Prerequisities: