1. MUSIC Project, http://www.ist-music.eu/
2. Over-The-Air (OTA), http://developers.sun.com/mobility/midp/articles/ota/
3. Lecture Notes in Computer Science;E. Albert,2007
4. Altmeyer, S., Hümbert, C., Lisper, B., Wilhelm, R.: Parametric Timing Analyis for Complex Architectures. In: Proc. of the 14th IEEE RTCSA, pp. 367–376. IEEE Computer Society Press, Los Alamitos (2008)
5. Aspinall, D., MacKenzie, K.: Mobile resource guarantees and policies. In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2006)