D. Ramos, F. Rocha, and M. Soares. "A Bottom Up Approach for Modeling Microservices Using Time Petri Nets", in Anais do XVIII Simpósio Brasileiro de Sistemas de Informação, Curitiba, 2022.