Shpakov, V.: Computer Implementation of Processes on the Base of Their Logic-Dynamic Specification. Information and Control Systems(4), 68-76 (2016). doi:10.15217/issn1684-8853.2016.4.68