Real-Time Systems Implications in the Blockchain-Based Vertical Integration of Industry 4.0[J] COMPUTER 2020(53) Garrocho, Charles Tim Batista Silva, Mateus Coelho Ferreira, Celio Marcio Soares Cavalcanti, Carlos Frederico Marcelo da Cunha Rabelo Oliveira, Ricardo Augusto