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