Guest Editor's Introduction: Rapid System Prototyping

Integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a system's robustness by providing runtime monitoring and recovery from assertion failures.