Presents the Timed Input/Output Automaton (TIOA) modelling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control.