A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development