Type Analysis for Component-based Real-time Programming Modelling Real-time Signal Processing with Process Algebras the Semantic Underpinning of The