[1] Khan MA, Salah K. IoT security: Review, blockchain solutions, and open challenges. Futur Gener Comput Syst. 2018;

[2] Ouaddah A, Abou Elkalam A, Ait Ouahman A. FairAccess: a new Blockchain-based access control framework for the Internet of Things. Secur Commun Networks. 2016;

[3] Hwang S. Monitoring and Controlling System for an IoT Based Smart Home. Int J Control Autom. 2017;

[4] Kang S, Baek H, Jun S, Choi S, Hwang H, Yoo S. Laboratory environment monitoring: Implementation experience and field study in a tertiary general hospital. Healthc Inform Res. 2018;

[5] Rajkumar MN, Abinaya S, Kumar VV. Intelligent irrigation system - An IOT based approach. In: IEEE International Conference on Innovations in Green Energy and Healthcare Technologies - 2017, IGEHT 2017. 2017.

[6] Aazam M, Huh E, Abdul-Salaam G, Abdullah AH, Anisi MH, Gani A, et al. “Estudio de dos tipos de fertilizantes químicos y orgánicos en dos híbridos comerciales de pimiento (Capsicum annun L.) en la parte alta de la Cuenca del Río Guayas.” Univ TÉCNICA ESTATAL QUEVEDO Fac CIENCIAS Agrar Esc Ing AGRONÓMICA. 2015;

[7] Bobaru M, Borges M, d’Amorim M, Păsăreanu CS. NASA formal methods : third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings. Proceedings of the Third international conference on NASA Formal methods. 2011.

[8] Zhang Y. A foundation for the design and analysis of robotic systems and behaviors. ProQuest Dissertations and Theses. 1994.

[9] Committee S. IEEE Standard for Software Verification and Validation IEEE Standard for Software Verification and Validation. IEEEInstitute of Electrical and Electronics Engineers. 1998.

[10]Deshpande S, Kavalgi V, Biradar S, Nandyal S. Intelligent Irrigation System. Int J Comput Appl. 2017;

SOEIT, Sanskriti University, Mathura, Uttar Pradesh, India (anushka@sanskriti.edu.in)