Dependability analysis of a cyber-physical system for smart environments

Ermeson C. Andrade, Bruno Costa e Silva Nogueira, Gustavo Callou, Gabriel Alves. Dependability analysis of a cyber-physical system for smart environments. Concurrency - Practice and Experience, 31(1), 2019. [doi]