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