1. Android, http://developer.android.com
2. Realtime Maude, http://heim.ifi.uio.no/peterol/RealTimeMaude/
3. IEEE Standard 802.11, Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications (1999)
4. Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based Specification Language forf Probabilistic Object Systems. ENTCS 153, 213–239 (2006)
5. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theor. Comp. Sci. (138), 3–24 (1995)