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