Smart modeling-basic methodology and advanced tools

The paper discusses how a complex simulation project can be executed efficiently and effectively following simple basic methodology, and using advanced modeling features provided by the simulation tool. The paper explains the methodology that should be followed for the successful outcome of a simulation project. The paper also discusses and illustrates some of the advanced modeling capabilities provided by a simulation tool "Witness", that enable the user to build complex models very quickly and at the same time, incorporate desirable characteristics like high flexibility, sharability, and re-usability.