1. Tozzi, C.: IoT and Data Syncing: Tips for Developers (2016).
https://sweetcode.io/iot-data-syncing-tips-developers/
2. IT Glossary. Internet of Things.
https://www.gartner.com/it-glossary/internet-of-things
3. Ratana, H., Mohamad, S.M.S.: Towards model checking of network applications for IoT system development. J. Telecommun. Electron. Comput. Eng. 9(3–4), 143–149 (2017).
http://journal.utem.edu.my/index.php/jtec/article/view/2934
4. Burns, P.: 5 Reasons Why Synchronization is Critical to IoT. The clocks on your IoT devices are way more important than you think (2017).
https://www.iotforall.com/iot-synchronization/
5. Daszczuk, W.B.: Communication and resource deadlock analysis using IMDS formalism and model checking. Comput. J. 60(5), 729–750 (2017).
https://doi.org/10.1093/comjnl/bxw099