Daszczuk WB. TIMED CONCURRENT STATE MACHINES. csci. 2013;8(3):23. doi:10.7494/csci.2007.8.3.23