References

Clarke, E.M., O. Grumberg, and D.A. Peled, 2001. Model Checking. MIT Press, Cambridge, Massachusetts, Pages: 309.

Edmondson, V., M. Cerny, M. Lim, B. Gledson and S. Lockley et al., 2018. A smart sewer asset information model to enable an Internet of Things for operational wastewater management. Autom. Constr., 91: 193-205.
Direct Link  |  

Khajenasiri, I., A. Estebsari, M. Verhelst and G. Gielen, 2017. A review on Internet of Things solutions for intelligent energy control in buildings for smart city applications. Energy Procedia, 111: 770-779.
CrossRef  |  Direct Link  |  

Lamport, L., 2002. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA., ISBN-13:978-0321143068, Pages: 348.

Mesarovic, M.D., D. Macko and Y. Takahara, 1970. Theory of Hierarchical, Multilevel, Systems. Academic Press, New York, USA., Pages: 294.

Newcombe, C., T. Rath, , F. Zhang, B. Munteanu and M. Brooker et al., 2015. How Amazon web services uses formal methods. Commun. ACM., 58: 66-73.
CrossRef  |  Direct Link  |  

Pakonen, A., T. Tahvonen, M. Hartikainen and M. Pihlanko, 2017. Practical applications of model checking in the Finnish nuclear industry. Proceedings of the 10th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technologies (NPIC & HMIT 2017), June 11, 2017, American Nuclear Society ANS, America, ISBN:978-0-89448-743-9, pp: 1342-1352.

Ray, P.P., 2016. A survey of IoT cloud platforms. Future Comput. Inf. J., 1: 35-46.
Direct Link  |  

Resch, S. and M. Paulitsch, 2017. Using TLA+ in the development of a safety-critical fault-tolerant middleware. Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), October 23-26, 2017, IEEE, Toulouse, France, ISBN:978-1-5386-2388-6, pp: 146-152.

Sethi, P. and S.R. Sarangi, 2017. Internet of things: Architectures, protocols and applications. J. Electr. Comput. Eng., 2017: 1-25.
CrossRef  |  Direct Link  |  

Shkarupylo, V.V., I. Tomicic and K.M. Kasian, 2016. The investigation of TLC model checker properties. J. Inf. Organizational Sci., 40: 145-152.
Direct Link  |  

Shkarupylo, V.V., I. Tomicic, K.M. Kasian and J.A.J. Alsayaydeh, 2018. An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification. Intl. J. Software Eng. Comput. Syst., 4: 48-60.
Direct Link  |  

Stojkoska, B.L.R. and K.V. Trivodaliev, 2017. A review of internet of things for smart home: Challenges and solutions. J. Cleaner Prod., 140: 1454-1464.
Direct Link  |  

Tadejko, P., 2015. Application of Internet of Things in logistics-current challenges. Econ. Manage., 7: 54-64.
Direct Link  |  

Wang, Y.P.E., X. Lin, A. Adhikary, A. Grovlen and Y. Sui et al., 2017. A primer on 3GPP narrowband Internet of Things. IEEE. Commun. Mag., 55: 117-123.
CrossRef  |  Direct Link  |