Daszczuk WB. TIMED CONCURRENT STATE MACHINES. csci [Internet]. 2013 Apr. 20 [cited 2025 Dec. 5];8(3):23. Available from: https://journals.agh.edu.pl/csci/article/view/198