1. A Structured Design Method for Hard Real-Time Ada Systems;Burns,1995
2. Real-Time Systems and Programming Languages;Burns,1997
3. Algorithmic skeletons: a structured approach to the management of parallel computation;Cole,1989
4. Object-based modelling of parallel programs;Gorton;IEEE Parallel and Distributed Technology,1995
5. STATEMATE: a working environment for the development of complex reactive systems;Harel;IEEE Transactions on Software Engineering,1990