Not the next big paradigm because it already exists for critical software and UI [1]. For verification purposes, thinking in state charts at design level is ess

Not the next big paradigm because it already exists for critical software and UI [1]. For verification purposes, thinking in state charts at design level is essential. The fact that code does not reflect easily this model is not an issue provided you do not write this code manually, but off-load this to a compiler front-end. It is actually the only sane way to keep state space and performances under control. [1] http://www.esterel-technologies.com/products/scade-display/ http://www.esterel-technologies.com/products/scade-display/