Шпаков, (2002) Ситуационные спецификации имитационных моделей гибридных реактивных систем, Труды СПИИРАН, 2(1), сс. 212-222. DOI: 10.15622/sp.1.14.