Component, CA, and CCA models; superdense time, DB repo, testing, etc.
System safety, dependability and security analysis
Penthode simulates, draw and plot electrical power distributions
Visual & persistent families of models for CA, DEVS, and Statecharts
Simple GUI tool for creating and manipulating WSN topologies