Vlaovivc B., Vree A., Brezovcnik Z. et al Automated generation of Promela model from SDL specification // Comput. Stand. Interfaces Journal. – Elsevier Science Publishers B. V., Amsterdam. – 2007 – Vol. 29, No. 4. – P. 449-461. – ISSN 0920-5489.
Hardavellas N., Somogyi S. et al SimFlex: a fast, accurate, flexible full-system simulation framework for performance evaluation of server architecture // SIGMETRICS Perform. Eval. Rev. – ACM, New York. – 2004. – Vol. 31, No. 4. – P. 31-34. – ISSN 0163-5999
Martin M. M. K., Sorin D. J., Beckmann B. M. et al Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset // SIGARCH Comput. Archit. News. – ACM, New York. – 2005. – Vol. 33, No. 4. – P. 92-99. – ISSN 0163-5964
Lucio G. F., Paredes-Farrera M., Jammeh E. et al Opnet modeler and ns-2: Comparing the accuracy of network simulators for packet-level analysis using a network testbed // In Proc. of 3rd WSEAS Int. Conf. on Simulation, Modeling and Optimization, Rethymno, Greece. - World Scientific and Engineering Academy and Society (WSEAS), Stevens Point. - October 2003 - No. 3, Vol. 2. - P. 700-707. - ISSN: 1109-2750
Nicol D. M., Liu J., Liljenstam M., Yan G. Simulation of large scale networks I: simulation of large-scale networks using SSF // WSC '03: Proceedings of the 35th conference on Winter simulation. – Winter Simulation Conference, New Orleans. – 2003. ¬ P. 650-657. – ISBN 0-7803-8132-7
Paxson V. Fast approximation of self-similar network traffic. // Tech. rep., Lawrence Berkeley Laboratory and EECS Division. – University of California, Berkeley. – Apr. 1995. – 8 p.
Binkert N. L., Dreslinski R. G. et al The M5 Simulator: Modeling Networked Systems // IEEE Micro. – IEEE Computer Society Press, Los Alamitos. – 2006. –Vol. 26, No. 4. – P. 56-60. – ISSN 0272-1732
distributed