From DestecsWiki

The DESTECS tool connects discrete event tools with continous time tools. Here you can find the requirements and licenses that apply to the various tools.

Contents 1  DESTECSTool 2 Discrete Event Tools 2.1 VDM 3 Continuous Time Tools 3.1 20-sim

 DESTECSTool

• License: The Destecs tool is an open source tool and can be downloaded from sourceforge.
• Requirements: Windows XP or higher.

Discrete Event Tools

VDM

• License: VDM is open source and is part of the Destecs installer.
• Requirements: Windows XP or higher.

Continuous Time Tools

20-sim

• License: 20-sim is a commercial tool. The free 20-sim viewer has to be upgraded to the Professional version by inserting a license. The license has to be purchased.
  
• Requirements: Windows XP or higher.