[1]
Egon Börger, Robert Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, (2003).
DOI: 10.1145/979743.979770
Google Scholar
[2]
Alamo, R. and J. Wong. Service-oriented middleware for Smart Home applications, Wireless Hive Networks Conference, 2008. WHNC 2008. IEEE, PP. 1-4.
DOI: 10.1109/whnc.2008.4629489
Google Scholar
[3]
Ngo, L. Service-oriented architecture for home networks. In: Seminar on Internetworking, p.1–6 , (2007).
Google Scholar
[4]
L. Jin V. Krishnamoorthy F. Casati, S. Ilnicki and M.C. Shan. Modeling and composing service-based and reference process-based multi-enterprise processes. Proc. Adv. Inf. Sys. Eng.: 12th Int. Conf., CAiSE, pages 13–31, June (2000).
Google Scholar
[5]
Yuri Gurevich. Evolving Algebras: An Attempt to Discover Semantics Bulletin of the EATCS, 43: 264-284, (1991).
Google Scholar
[6]
A. Cichocki H. Schuster, D. Georgakopoulos and D. Baker. Modeling and composing service-based and reference process-based multi-enterprise processes. Proc. 12th Int. Conf. on Adv. Inf. Sys. Eng., CAiSE, June (2000).
Google Scholar
[7]
G.D. Castillo, K. Winter. Model Checking Support for the ASM High-Level Language. Technical Report tr-ri-99-209 Universitöt-GH Paderborn, June, (1999).
Google Scholar
[8]
Nichols, J. and Myers, B. Controlling Home and Office Appliances with Smart Phones. IEEE Pervasive Computing, vol. 5, no. 3, pp.60-67, July-Sept (2006).
DOI: 10.1109/mprv.2006.48
Google Scholar
[9]
Huang, H. Y., W. C. Teng, et al. Smart home at a finger tip: OSGi-based MyHome, IEEE International Conference on Systems, Man and Cybernetics, pp.4467-4472, Oct. 2009.
DOI: 10.1109/icsmc.2009.5346916
Google Scholar
[10]
P. Tang, T. Venables, Smart, homes and telecare for independent living, J. Telemed. Telecare 6 (2000) 8–14.
DOI: 10.1258/1357633001933871
Google Scholar
[11]
R.A. Brooks, The intelligent room project: cognitive technology, in: Proceedings of the 2nd International Cognitive Technology Conference, Aizu, Wakamatsu, Japan, 1997, p.271–278.
Google Scholar