Concurrent transition systems
Components within a system are modeled as concurrent transition system [Manna & Pneuli 92]
Each system transition consists of a single transition by each component transition system (possibly the idling transition)
Can naturally model digital hardware, analog hardware using qualitative representations, and real-time software