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