Blagovest Kirilov, "Utilizing Blockchain technology for data analysis and interaction through The Formal Method of Things," in <i>FDIBA Conference Proceedings</i>, vol. 2, nov. 2018, pp. 63-65