Brito, Carlos, Rodrigues, Laécio, Fé, Iure, Leoni, Guto, AND Silva, Francisco. " Availability Assessment of an Edge Computing Architecture with Stochastic Petri Nets" Proceedings of the Workshop on Performance of Computer and Communication Systems (WPerformance) [Online], (30 June 2020)