A. Chibani, K. Djouani, and Y. Amirat. Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, page 9:1--9:6. ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), (2007)
P. Mosses. Proceedings of the 8th international workshop on Specification and verification of component-based systems, page 3--10. New York, NY, USA, ACM, (2009)
M. Horng, M. Hung, Y. Chen, J. Pan, and W. Huang. Computer Information Systems and Industrial Management Applications (CISIM), 2010 International Conference on, page 487 -490. (October 2010)
M. Muro, M. Amoretti, F. Zanichelli, and G. Conte. Applied Sciences in Biomedical and Communication Technologies (ISABEL), 2010 3rd International Symposium on, page 1 -5. (November 2010)