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