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