F. Solms. Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, page 363--373. New York, NY, USA, ACM, (2012)
M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)