D. Ramos, F. Rocha, and M. Soares. " A Bottom Up Approach for Modeling Microservices Using Time Petri Nets", in Proceedings of the 18th Brazilian Symposium on Information Systems, Curitiba, 2022.