This text introduces the three techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. Techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; through the design determined by the PLC-automata, and a source code for embedded systems hardware platforms. Ideal for students of real-time systems or embedded systems, this text also will be of great interest to researchers and professionals in the field of transportation and automation.