1. Åkerholm, M., A. Möller, H. Hansson and M. Nolin, Towards a dependable component technology for embedded system applications, in: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005) (2005)
2. A theory of timed automata;Alur;Theoretical Computer Science,1994
3. Times: a Tool for schedulability analysis and code generation of real-time systems;Amnell,2003
4. Reo: a channel-based coordination model for component composition;Arbab;Mathematical. Structures in Comp. Sci.,2004
5. Verification of an Audio Protocol with Bus Collision Using Uppaal;Bengtsson,1996