Dworzanski, L. W.and A. A. Izmaylov. Automated Analysis of Dp-systems Using Timed-arc Petri Nets via TAPAAL Tool. Institute for System Programming of the Russian Academy of Sciences, 2020, doi:10.15514/ispras-2020-32(6)-12.