Akhlaki, K. , Capel-Tuñón, M. (2007), 'Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems', World Academy of Science, Engineering and Technology, Open Science Index 7, International Journal of Computer and Systems Engineering, 1(7), 1069 - 1074.