Daszczuk, Wiktor B. “TIMED CONCURRENT STATE MACHINES”. Computer Science 8, no. 3 (April 20, 2013): 23. Accessed December 5, 2025. https://journals.agh.edu.pl/csci/article/view/198.