Daszczuk, W.B. 2013. TIMED CONCURRENT STATE MACHINES. Computer Science. 8, 3 (Apr. 2013), 23. DOI:https://doi.org/10.7494/csci.2007.8.3.23.