DASZCZUK, Wiktor B. TIMED CONCURRENT STATE MACHINES. Computer Science, [S. l.], v. 8, n. 3, p. 23, 2013. DOI: 10.7494/csci.2007.8.3.23. Disponível em: https://journals.agh.edu.pl/csci/article/view/198. Acesso em: 5 dec. 2025.