On the possibilities of FSM description of parallel composition of timed finite state machines
A. S. Tvardovskii, A. V. Laputenko

This publication is cited in the following articles:

1. A. A. Izmaylov, L. W. Dworzanski, “Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool”, Trudy ISP RAN, 32:6 (2020), 155–166    
2. A. V. Samonov, “Metody i sredstva razrabotki avtomatizirovannykh informatsionnykh sistem na osnove ontologii «Upravlenie kachestvom programmno-tekhnicheskikh kompleksov»”, Trudy ISP RAN, 31:5 (2019), 165–182    
3. Ekaterina Shirokova, 2018 IEEE East-West Design & Test Symposium (EWDTS), 2018, 1