M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
M. Glinz. IWSSD '00: Proceedings of the 10th International Workshop on Software Specification and Design, page 11. Washington, DC, USA, IEEE Computer Society, (2000)