Shpakov, V. 2009. Interacting dynamic Systems Model Complex Specification. SPIIRAS Proceedings. 11 (Dec. 2009), 176-192. DOI:https://doi.org/10.15622/sp.11.10.