Uwe Glässer, Yuri Gurevich, Margus Veanes, “An Abstract Communication Model”, Microsoft Research Technical Report MSR-TR-2002-55, May 2002.
Kamran Sartip, “LOTOS: Language of Temporal Ordering Specification”, Deptartment of Computing and Software, McMaster University, Canada, March 2007.
Kenneth J. Turner, “The Formal Specification Language LOTOS: A Course For Users”, Department of Computing Science and Mathematics, University of Stirling, Scotland, Aug. 1989.

1. 1. Logrippo, M. Faci, M. Haj-Hussein, “An introduction to LOTOS: learning by examples”, Computer Networks and ISDN Systems, Volume 23, Issue 5, Feb. 1992, pp 325-342, ISSN 0169-7552, DOI: 10.1016/0169-7552(92)90011-E.

Bernhard K. Aichernig, Andreas Kerschbaumer, “Property Orientation in the Model Oriented Vienna Development Method (VDM)”, Siteceer X, 1999, [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4913
Marian Iordache, Panos Antsaklis, “A Survey on the Supervision of Petri Nets,” DES Workshop PN 2005, Miami, FL, June 21, 2005.
Marian V. Iordache and Panos J. Antsaklis, “Petri Nets and Programming: A Survey”, ۲۰۰۹ American Control Conference, Hyatt Regency Riverfront, St. Louis, MO, USA, June 10-12, 2009.

1. 1. Miyamoto, S. Kumagai, “A Survey of Object-Oriented Petri Nets and Analysis Methods”, IEICE TRANS. FUNDAMENTALS, VOL. E88–A, NO.11 NOVEMBER 2005.

1. 1. Alur, J. Esposito, M.Kim, V. Kuma, I. Lee, “Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination”, FM’99: Proceedings of the World Congress on Formal Methods, LNCS 1708, pp. 212–232, Springer, 1999.

1. 1. Murata, “Petri Nets: Properties, Analysis, and Applications”, Proceedings of IEEE, 77 (4) (1989) 541–۵۷۹٫

1. 1. Zurawski, M. Zhou, “Petri Nets and Industrial Applications: A Tutorial”, IEEE. Trans. Industrial Electronics, Vol. 41, No. 6, Dec. 1994.

W.M.P. van der Aalst, K.M. van Hee, G.J. Houben, “Modelling and Analysing Workflow using a Petri-net based approach”, Proceedings of Second Workshop on Computer-supported Cooperative Work, Petri nets related formalisms, pp. 31-50, 1994.
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock, “Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation”, IEEE Proc. ICST ’۰۹ on Software Testing Verification and Validation, 2009, ISBN: 978-0-7695-3601-9

1. 1. Girault, R. Valk, “Petri Nets for Systems Engineering, A Guide to Modelling, Verification, and Applications”, ISBN: 3540412174, Springer-Verlag, July 2001.

1. 1. E. Holloway, B. H. Kroghand A. Giua, “A Survey of Petri Net Methods for Controlled Discrete Event Systems”, SpringerLink journal on Discrete Event Dynamic Systems, Vol. 7, Issue 2, April 1997, pp. 151-190, DOI: 10.1023/A:1008271916548.

Yuri Gurevich. Evolving Algebras. In B. Pehrson and I. Simon, editors, IFIP 1994 35 World Computer Congress, volume I: Technology and Foundations, pages 423-427. Elsevier, Amsterdam, 1994.

1. 1. B¨orger, “Modeling with Abstract State Machines: A support for accurate system design and analysis”, Modellierung 2004, volume P-45 of GI-Edition Lecture Notes in Informatics, pages 235–۲۳۹٫ Springer-Verlag, 2004.

1. 1. B¨orger, S. Mazzanti, “A practical method for rigorously controllable hardware design”, ZUM’۹۷: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 151–۱۸۷٫ Springer-Verlag, 1997.

David Lee, Mihalis Yannakakis, “Principles and methods of testing finite state machines-a survey”, IEEE Proc. Vol. 84, Issue: 8, pp. 1090 – ۱۱۲۳, ISSN: 0018-9219, Aug. 1996.
Tommaso Bolognesi, Ed Brinksma, “Introduction to the ISO specification language LOTOS”, ACM Journal on Computer Networks and ISDN Systems, Volume 14, Issue 1, March, 1987, doi: ۱۰٫۱۰۱۶/۰۱۶۹-۷۵۵۲(۸۷)۹۰۰۸۵-۷.
Guy Ledu, “Multimedia in the E-LOTOS Process Algebra”, Chapter 16 of “Formal Methods For Distributed Processing – A Survey of Objet Oriented Approaches”, Cambridge University Press, 2001, pp. 357-372
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle, John Fitzgerald, “VDM-10 Language Manual”, Overture Technical Report Series, No. TR-001, May 2010.
John Fitzgerald, Peter Gorm Larsen and Shin Sahara, “Technical report series: Modeling and Analysis in VDM”, Proceedings of the Fourth VDM/Overture Workshop, University of Newcastle upon Tyne, No. CS-TR-1099, May 2008.
Massimo, “A brief architecture overview of VMware ESX, XEN and MS Viridian”, [Online]. Available: http://it20.info/2007/06/a-brief-architecture-overview-of-vmware-esx-xen-and-ms-viridian.
VMeare, “A Performance Comparison of Hypervisors”, VMware Inc., Performance study, Revision: 20070201 Item: PS-004-INF-01-002, 2007.
Tim Abels, Puneet Dhawan, Balasubramanian Chandrasekaran, “An Overview of Xen Virtualization”, Dell Power Solutions, Aug. 2005.
Microsoft, “Hyper-V Architecture”, Microsoft MSDN, [Online]. Available: http://msdn.microsoft.com/en-us/library/cc768520%28v=bts.10%29.aspx , 2011
Microsoft Inc., CA Inc., “Protecting your Virtualized Server Investment ”, White paper, May 2010.
Microsoft Inc., “About Virtual Machines and Guest Operating Systems”, Microsoft MSDN, Sep. 2011, [Online]. Available: http://technet.microsoft.com/enus/library/cc794868% – 28WS.10%29.aspx.
Yuval Shavit, “Advantages and disadvantages of Hyper-V”, Search Systems Channel, [Online]. Available: http://searchsystemschannel.techtarget.com/feature/Advantages-and-disadvantages-of-Hyper-V
Mike Neil, “Hypervisor, Virtualization Stack, And Device Virtualization Architectures”, Windows Virtualization Microsoft Corporation, Microsoft WinHEC 2006.
CA Inc., “Deployment Options for Microsoft Hyper-V Server”, CA ARCSERVE REPLICATION & CA ARCSERVE HIGH AVAILABILITY R16, 2011.
CA Inc., “CA ARCserve Replication and High Availability Deployment Options for Microsoft Hyper-V”, CA ARCserve Replication and CA ARCserve High Availability, 2010.
Ray Weinstein, Burk Buechler, “HigHly AvAilAble virtuAlizAtion WitH Microsoft Hyper-v And scvMM 2008”, Dell Power Solutions, Nov. 2008.
Robert Larson, Janique Carbone et.All, “Windows Server 2008 Hyper-V Resource Kit”, Microsoft Press, ISBN: 0-7356-2517-4, June 2009.
Ian Pratt, “Xen and the Art of Virtualization”, University of Cambridge and Founder of XenSource Inc., 2006.
Paul Barham et. All, “Xen and the Art of Virtualization”, SOSP’03, October 19-22, 2003, Bolton Landing, New York, USA, Copyright 2003 ACM 1­۵۸۱۱۳­۷۵۷­۵/۰۳/۰۰۱۰٫